Design and validation of computer protocols
Design and validation of computer protocols
Proceedings of the NATO Advanced Study Institute on Deductive program design
Symbolic Model Checking
Proceedings of the 9th International Conference on Computer Aided Verification
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Ideal and Real Belief about Belief
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
On the Relationship Between BDI Logics and Standard Logics of Concurrency
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A model-theoretic approach to the verification of situated reasoning systems
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Verification of Payment Protocols via MultiAgent Model Checking
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Efficient Model Checking of Causal-Knowledge Protocols
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
A formal modelling framework for developing multi-agent systems with dynamic structure and behaviour
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
| Hi-index | 0.02 |
Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm.