A Compositional Automata-based Approach for Model Checking Multi-Agent Systems
暂无分享,去创建一个
[1] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, ATAL.
[2] Butler W. Lampson,et al. Atomic Transactions , 1980, Advanced Course: Distributed Systems.
[3] Stephan Merz,et al. Model Checking , 2000 .
[4] Wojciech Penczek,et al. Verification of multiagent systems via unbounded model checking , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..
[5] Daniel Lehmann,et al. Knowledge, common knowledge and related puzzles (Extended Summary) , 1984, PODC '84.
[6] Fausto Giunchiglia,et al. A Model Checking Algorithm for Multiagent Systems , 1998, ATAL.
[7] Mordechai Ben-Ari,et al. The Temporal Logic of Branching Time , 1981, POPL.
[8] Wojciech Penczek,et al. Verifying Multi-agent Systems via Unbounded Model Checking , 2004, FAABS.
[9] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[10] Ron van der Meyden,et al. Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract) , 1999, FSTTCS.
[11] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..
[12] Thomas A. Henzinger,et al. Alternating-time temporal logic , 1999 .
[13] Edmund M. Clarke,et al. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic , 1981, Logic of Programs.
[14] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[15] Michael Wooldridge,et al. Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications , 2003, Stud Logica.
[16] Mordechai Ben-Ari,et al. The temporal logic of branching time , 1981, POPL '81.