Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation


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… (More)
DOI: 10.1109/AAMAS.2004.295

2 Figures and Tables


  • Presentations referencing similar topics