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

New York City, New York, USA July 19-July 23

DOI Bookmark:

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

Third International Joint Conference ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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

	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

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.