In this paper we address the challenges associated with the verification of correctness of communication between agents in Multi-Agent Systems. Our approach applies model-checking techniques to protocols which express interactions between a group of agents in the form of a dialogue. We define a lightweight protocol language which can express a wide range of dialogue types, and we use the SPIN model checker to verify properties of this language. Our early results show this approach has a high success rate in the detection of failures in agent dialogues. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Walton, C. D. (2005). Model checking agent dialogues. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3476 LNAI, pp. 132–147). Springer Verlag. https://doi.org/10.1007/11493402_8
Mendeley helps you to discover research relevant for your work.