Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini  Home/Search
Context
Related
| cs.unitn.it/~bene/atal98.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ) Massimo Benerecetti 1 , Fausto Giunchiglia 1;2 , Luciano Serafini 2 1 DISA - University of Trento, Via Inama 13, 38050 Trento, Italy 2 IRST - Istituto Trentino di Cultura, 38050 Povo, Trento, Italy bene@cs.unitn.it ffausto,serafinig@irst.itc.it 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... (Update)
Similar documents (at the sentence level):
74.8%: Model Checking Multiagent Systems - Benerecetti, Giunchiglia, al (1997) (Correct)
50.2%: Multiagent Systems Verification via Model Checking - Massimo Benerecetti Fausto (1998) (Correct)
Active bibliography (related documents): More All
0.0: Logical Omniscience and Resourse-Bounded Agents - Whitsey (2004) (Correct)
0.0: Model Checking-Based Analysis Of Multiagent Systems - Benerecetti, al. (2001) (Correct)
0.0: Istituto Per La Ricerca - Scientifica Tecnologica Povo (Correct)
Similar documents based on text: More All
0.5: A Foundation for Metareasoning, Part I: The Proof Theory - Criscuolo, al. (Correct)
0.5: Formalizing and Reasoning about Constraints in Federated.. - Serafini, al. (1997) (Correct)
0.4: Context Based Semantics for Information Integration - Serafini (2000) (Correct)
BibTeX entry: (Update)
@misc{ benerecetti-model,
author = "Massimo Benerecetti and Fausto Giunchiglia and Luciano Serafini",
title = "Model Checking Multiagent Systems (Extend Abstract)",
url = "citeseer.ist.psu.edu/20164.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
62 plan and practical reason (context) - Bratman - 1990
50 A model-theoretic approach to the verification of situated r.. (context) - Rao, Georgeff - 1993 DBLP
19 Ideal and Real Belief about Belief - Giunchiglia, Giunchiglia - 1996
2 available at http://drogo (context) - for, Agents et al. - 1997
Documents on the same site (http://mrg.cs.unitn.it/~bene/pub.html): More
Model Checking Multiagent Systems - Benerecetti, Giunchiglia, al (1997) (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