Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions
复制标题
通过模型检查三值抽象来验证多代理系统
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
A. Lomuscio
中科院分区：
文献类型：
--
作者：
A. Lomuscio
登录
查看更多内容
第二十三届人工智能认知国际联合会议论文集
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
R. Loose;T. Probst;O. Tucha;E. Bablok;S. Aschenbrenner;K. Lange
通讯作者：
K. Lange
使用 MABLE 检查多智能体系统模型
影响因子：
7.5
作者：
M. Wooldridge;Michael Fisher;M. Huget;S. Parsons
通讯作者：
S. Parsons
具有策略上下文和有限内存的 ATL
DOI：
10.1007/978-3-540-92687-0_7
发表时间：
2009
期刊：
Signal Process.
影响因子：
--
作者：
Thomas Brihaye;Arnaud Da Costa Lopes;F. Laroussinie;N. Markey
通讯作者：
N. Markey
动态访问控制策略中的模型检查代理知识
DOI：
10.1007/978-3-642-36742-7_31
发表时间：
2013
期刊：
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
影响因子：
--
作者：
M. Koleini;Eike Ritter;M. Ryan
通讯作者：
M. Ryan
通过 SAT 检查定时自动机的可达性属性
影响因子：
0.8
作者：
B. Wozna;A. Zbrzezny;W. Penczek
通讯作者：
W. Penczek