Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems
复制标题
交错多智能体系统上模型检查时间认知逻辑的偏序约简
DOI：
10.3233/fi-2010-276
复制
发表时间：
2010
影响因子：
0.8
通讯作者：
Lomuscio A
中科院分区：
文献类型：
--
作者：
Lomuscio A
基于知识的缓存一致性分析
DOI：
10.1007/978-3-540-30482-1_15
发表时间：
2004
期刊：
Fundam. Informaticae
影响因子：
--
作者：
K. Baukus;R. V. D. Meyden
通讯作者：
R. V. D. Meyden
本地优先搜索的更强的减少标准
DOI：
--
发表时间：
2006
期刊：
International Colloquium on Theoretical Aspects of Computing
影响因子：
--
作者：
M. E. Kurbán;P. Niebert;Hongyang Qu;W. Vogler
通讯作者：
W. Vogler
DOI：
--
发表时间：
2009
期刊：
Model Checking and Artificial Intelligence
影响因子：
--
作者：
A. Lomuscio;W. Penczek;Hongyang Qu
通讯作者：
Hongyang Qu