M. Benerecetti, F. Giunchiglia, et al  Home/Search
Context Related
Links: DBLP | cs.unitn.it/~bene/jlc97.ps.gz afrodite.itc.it:10...ttr970807.ps.gz mrg.dist.unige.it/pub/m...970807.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mrg.cs.unitn.it/~bene/pub (more) From: afrodite.itc.it:10...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Model checking is a very successful technique which has been applied in the design and verification of finite state concurrent reactive processes. In this paper we show how this technique can be lifted to be applicable to multiagent systems. Our approach allows us to reuse the technology and tools developed in model checking, to design and verify multiagent systems in a modular and incremental way, and also to have a very efficient model checking algorithm. 1 Introduction Model checking is a... (Update)
Cited by: More
Model Checking Agent Dialogues - Christopher Walton Centre (Correct)
Verifiable Agent Dialogues - Walton (2005) (Correct)
Model Checking Multi-Agent Systems - Bourahla, Benmohamed (2005) (Correct)
Similar documents (at the sentence level):
42.6%: Model Checking Multiagent Systems (Extend Abstract) - Benerecetti, Giunchiglia.. (Correct)
23.8%: Multiagent Systems Verification via Model Checking - Massimo Benerecetti Fausto (1998) (Correct)
Active bibliography (related documents): More All
0.1: Agent-Based Software Engineering - Wooldridge (1997) (Correct)
0.0: Updating Mental States from Communication - Dragoni, Giorgini, Serafini (2000) (Correct)
0.0: Modelling (Un)Bounded Beliefs - Ghidini (Correct)
Similar documents based on text: More All
2.2: Model Checking Security Protocols Using a Logic of Belief - Benerecetti, Giunchiglia (2000) (Correct)
2.2: A Context-Based Framework for Mental Representation - Giunchiglia, 1998 (Correct)
2.2: Local Semantics for Federated Databases - Serafini, Ghidini (Correct)
Related documents from co-citation: More All
21: Model Checking - Clarke, Grumberg et al. - 1994
18: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
16: Model checking multiagent systems with mable - Wooldridge, Fisher et al. - 2002
BibTeX entry: (Update)
Massimo Benerecetti, Fausto Giunchiglia, and Luciano Serafini. Model checking multiagent systems. Journal of Logic and Computation, 8(3):401--423, June 1998. http://citeseer.ist.psu.edu/benerecetti97model.html More
@article{ benerecetti98model,
author = "Massimo Benerecetti and Fausto Giunchiglia and Luciano Serafini",
title = "Model Checking Multiagent Systems",
journal = "Journal of Logic and Computation",
volume = "8",
number = "3",
pages = "401-423",
year = "1998",
url = "citeseer.ist.psu.edu/benerecetti97model.html" }
Citations (may not include all citations):828 Model Checking - Clarke, Grumberg et al. - 1994 ACM DBLP
470 Design and Validation of Computer Protocols (context) - Holzmann - 1991 ACM
327 Modeling rational agents within a BDI architecture - Rao, Georgeff - 1991
297 Symbolic Model Checking (context) - McMillan - 1993 ACM DBLP
193 Controlling cooperative problem solving in industrial multi-.. - Jennings - 1995 ACM DBLP
113 or: how we can do without modal logics (context) - Giunchiglia, Serafini et al. - 1994
62 plan and practical reason (context) - Bratman - 1990
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993 DBLP
34 Formal models and decision procedures for multiagent systems - Rao, Georgeff - 1995
29 or Contextual Reasoning = Locality + Compatibility (context) - Giunchiglia, Ghidini et al. - 1997
19 Ideal and Real Belief about Belief - Giunchiglia, Giunchiglia - 1996 ACM DBLP
16 A decision procedure for a temporal belief logic - Wooldridge, Fisher - 1994 ACM DBLP
2 available at http://drogo (context) - for, Agents et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://mrg.cs.unitn.it/~bene/pub.html): More
Model Checking Multiagent Systems (Extend Abstract) - Benerecetti, Giunchiglia.. (Correct)
Formal Specification of Beliefs in Multi-Agent Systems - Benerecetti, Cimatti.. (1997) (Correct)
Computational Reflection via Mechanized Logical Deduction - Cimatti, Traverso.. (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC