MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking Multi-Agent Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

Symbolic Model Checking For Multi-Agent Systems
by Massimo Benerecetti, Alessandro Cimatti — 2001
… model checking for multi-agent systems has been implemented in the NuMAS system, a symbolic model…
Cited by 79 (14 self) – Add To MetaCart

Model Checking Multi-Agent Systems with MABLE
by Michael Wooldridge, Michael Fisher, Marc-Philippe Huget, Simon Parsons — 2002
…Model Checking Multi-Agent Systems with MABLE # Michael Wooldridge Michael Fisher Marc…
Cited by 56 (9 self) – Add To MetaCart

Symbolic Model Checking of Multi-Agent Systems Using OBDDs
by Franco Raimondi, Alessio Lomuscio — 2005 — In Proc. of the 3rd NASA Workshop on Formal Approaches to Agent-Based Systems (FAABS III), volume 3228 of LNCS
…Symbolic model checking of multi-agent systems using OBDDs Franco Raimondi, Alessio Lomuscio…
Cited by 1 (0 self) – Add To MetaCart

Unbounded Model Checking for Alternating-Time Temporal Logic
by M. Kacprzak, W. Penczek, In R. Alur, T. A. Henzinger, O. Kupferman — 2004 — In AAMAS ’04: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems
… of model checking multi-agent systems with respect to their specifications written in ATL. ∗ The authors…
Cited by 4 (0 self) – Add To MetaCart

Unbounded Model Checking for Knowledge and Time
by Magdalena Kacprzak, Alessio Lomuscio, Magdalena Kacprzak Alessio Lomuscio, Wojciech Penczek — 2003 — ICS PAS, Ordona
… of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it is shown…
Cited by 2 (2 self) – Add To MetaCart

The complexity of model checking concurrent programs against CTLK specifications
by Alessio Lomuscio, Franco Raimondi — 2006 — ACM, 2006. Checking Knowledge and Linear Time: PSPACE Cases 17
… Model checking multi-agent systems; Complexity 1. PRELIMINARIES 1.1 Temporal logics and model checking…
Cited by 2 (0 self) – Add To MetaCart

London, UK
by Mika Cohen, Mads Dam, Francesco Russo, Alessio Lomuscio
…Abstraction in model checking multi-agent systems Mika Cohen Department of Computing Imperial…
Add To MetaCart

MCK: Model checking the logic of knowledge
by Peter Gammie, Ron Van Der Meyden — 2004 — Proceedings of CAV-2004, Lecture Notes in Computer Science
… concerns. Other work in the Distributed AI literature on model checking multi-agent systems, such as [1, 4…
Cited by 3 (0 self) – Add To MetaCart

NuSMV: a reimplementation of SMV
by E. Cimatti, Clarke, Giunchiglia, M. Roveri, Alessandro Cimatti, Fausto Giunchiglia, Marco Roveri — 1998 — In Proc. STTT'98
… checking to multi-agent systems and security applications [2], and the integration of model checking…
Cited by 9 (2 self) – Add To MetaCart

Languages, Verification
by Louise A. Dennis
… by Model Checking. J. Autonomous Agents and Multi-Agent Systems, 12(2):239–256, 2006. [4] E. Clarke, O…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB