NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Towards Symbolic Model Checking for Multi-Agent Systems via OBDDsWe 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.
Document ID
20050137709
Acquisition Source
Goddard Space Flight Center
Document Type
Conference Paper
Authors
Raimondi, Franco (Kings Coll. London, United Kingdom)
Lomunscio, Alessio (Kings Coll. London, United Kingdom)
Date Acquired
September 7, 2013
Publication Date
October 1, 2004
Publication Information
Publication: Proceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)
Subject Category
Mathematical And Computer Sciences (General)
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20050137691Collected WorksProceedings 3rd NASA/IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS-III)
No Preview Available