NASA NTRS · 20050137709
Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs
Abstract
We present an algorithm for model checking temporal-epistemic properties of multi-agent systems, expressed in the formalism of interpreted systems. We first introduce a technique for the translation of interpreted systems into boolean formulae, and then present a model-checking algorithm based on this translation. The algorithm is based on OBDD's, as they offer a compact and efficient representation for boolean formulae.
Keep this discovery
Explore connections, maps & timelines
Raimondi, Franco, Lomunscio, Alessio. 2004-10-01. Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs. https://ntrs.nasa.gov/citations/20050137709
Cite the original work for its findings. Save a collection to share your selection of sources.