ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Automatic verification of deontic and epistemic properties of multi-agent systems by model checking via obdd's

Franco Raimondi, Alessio Lomuscio

We present an algorithm and its implementation for the verification of correct behaviour and epistemic states in multiagent systems. The verification is performed via model checking techniques based on obdd's. We test our implementation by means of a communication example: the bit transmission problem with faults.

Keywords: Verification and Validation, Multi-Agent Systems

Citation: Franco Raimondi, Alessio Lomuscio: Automatic verification of deontic and epistemic properties of multi-agent systems by model checking via obdd's. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.48-52.


[prev] [tofc] [next]

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).