| Abstract |
|
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.
|
 Additional Information
|
Citation:
Franco Raimondi, Alessio Lomuscio,
"Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation,"
aamas,
pp. 630-637,
Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04),
2004
|
