Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Franco Raimondi Articles by Alessio Lomuscio

Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04)

New York City, New York, USA

July 19-July 23

ISBN: 0-7695-2092-8

	ASCII Text	x
	Franco Raimondi, Alessio Lomuscio, "Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation," Autonomous Agents and Multiagent Systems, International Joint Conference on, vol. 2, pp. 630-637, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004.

	BibTex	x
	@article{ 10.1109/AAMAS.2004.10093, author = {Franco Raimondi and Alessio Lomuscio}, title = {Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation}, journal ={Autonomous Agents and Multiagent Systems, International Joint Conference on}, volume = {2}, year = {2004}, isbn = {0-7695-2092-8}, pages = {630-637}, doi = {http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10093}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Autonomous Agents and Multiagent Systems, International Joint Conference on TI - Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation SN - 0-7695-2092-8 SP630 EP637 A1 - Franco Raimondi, A1 - Alessio Lomuscio, PY - 2004 KW - null VL - 2 JA - Autonomous Agents and Multiagent Systems, International Joint Conference on ER -

Franco Raimondi, King?s College London

Alessio Lomuscio, King?s College London

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10093

We investigate the problem of the verification of epistemic properties of multiagent systems via model checking. Specifically, we extend and adapt methods based on ordered binary decision diagrams, a mainstream verification technique in reactive systems. We provide an algorithm, and present a software package that implements it. We discuss the software and benchmark it by means of a standard example in the literature, the dining cryptographers.

Citation:

Franco Raimondi, Alessio Lomuscio, "Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation," aamas, vol. 2, pp.630-637, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.