Wojciech Penczek, et al.  Home/Search
Context Related
| ipipan.waw.pl/~penczek/...fipl03.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: ipipan.waw.pl/~pencze...allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a framework for verifying temporal and epistemic properties of multi-agent systems by means of bounded model checking. We use interpreted systems as underlying semantics. (Update)
Cited by: More
Verifiable Agent Dialogues - Walton (2005) (Correct)
Verifying Epistemic Properties of Multi-agent Systems via.. - Penczek, al. (2003) (Correct)
Bounded Model Checking for Deontic Interpreted Systems - Wozna, Lomuscio, Penczek (Correct)
Active bibliography (related documents): More All
0.4: Bounded versus Unbounded Model Checking for Interpreted.. - Kacprzak, Lomuscio.. (2003) (Correct)
0.4: Towards Model Checking Interpreted Systems - Lomuscio, Raimondi, Sergot (2002) (Correct)
0.3: Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
Similar documents based on text: More All
0.6: Bounded Model Checking for the Universal Fragment of CTL - Penczek, al. (2002) (Correct)
0.5: Model Checking of Causal Knowledge Formulas - Penczek, Ambroszkiewicz (1999) (Correct)
0.5: Temporal Approach to Causal - Knowledge Wojciech Penczek (Correct)
Related documents from co-citation: More All
24: Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
23: Model Checking - Clarke, Grumberg et al. - 1994
22: Model checking knowledge and time in systems with perfect recall - van der Meyden, Shilov
BibTeX entry: (Update)
W. Penczek and A. Lomuscio. Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae, 2003. To appear. http://citeseer.ist.psu.edu/penczek03verifying.html More
@misc{ penczek03verifying,
author = "W. Penczek and A. Lomuscio",
title = "Verifying epistemic properties of multi-agent systems via bounded model
checking",
text = "W. Penczek and A. Lomuscio. Verifying epistemic properties of multi-agent
systems via bounded model checking. Fundamenta Informaticae, 2003. To appear.",
year = "2003",
url = "citeseer.ist.psu.edu/penczek03verifying.html" }
Citations (may not include all citations):1180 The temporal logic of reactive and concurrent systems (context) - Manna, Pnueli - 1992
828 Model Checking - Clarke, Grumberg et al. - 1999
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
264 Knowledge and common knowledge in a distributed environment - Halpern, Moses - 1990
244 Symbolic model checking without BDDs - Biere, Cimatti et al. - 1999
200 and Practical Reason (context) - Bratman, Plans - 1987
130 Chaff: Engineering an efficient SAT solver - Moskewicz, Madigan et al. - 2001
120 Handbook of Theoretical Computer Science (context) - Emerson - 1990
119 Using branching-time temporal logic to synthesize synchroniz.. (context) - Emerson, Clarke - 1982
73 Decision procedures for BDI logics (context) - Rao, Georgeff - 1998
37 Estelle - a formal description technique based on an extende.. (context) - IEC - 1997
34 Deontic logic: A concise overview (context) - Meyer, Wieringa - 1993
31 Model checking multiagent systems with mable - Wooldridge, Fisher et al. - 2002
27 Model checking knowledge and time - van der Hoek, Wooldridge - 2002
27 Model checking knowledge and time in systems with perfect kn.. - van der Meyden, Shilov - 1999
26 Verifying epistemic properties of multi-agent systems via bo.. - Penczek, Lomuscio - 2003
24 Computationally grounded theories of agency - Wooldridge - 2000
23 Tractable multiagent planning for epistemic goals - van der Hoek, Wooldridge - 2002
22 the properties of knowledge in distributed systems (context) - Fagin, Halpern et al. - 1992
14 Bounded model checking for the universal fragment of CTL - Penczek, Wozna et al. - 2002
13 Bounded model checking using satisfiability solving - Clarke, Biere et al. - 2001
12 Towards model checking interpreted systems - Lomuscio, Raimondi et al. - 2002
10 Deontic interpreted systems (context) - Lomuscio, Sergot - 2003
10 Bounded model checking for interpreted systems: preliminary .. - Lomuscio, asica et al. - 2003
8 Complete axiomatisations for reasoning about knowledge and t.. (context) - Halpern, Meyden et al. - 2003
5 Knowledge in multi-agent systems: Initial configurations and.. - Lomuscio, Meyden et al. - 2000
5 and so are hearing and jumping (context) - van Linder, van der Hoek et al. - 1997
5 Complete axiomatizations for reasoning about knowledge and b.. (context) - Meyden, Wong - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ipipan.waw.pl/~penczek/WPenczek/allpapers.html): More
Model Checking for Modal Logics (Extended Abstract) - Penczek (2001) (Correct)
Towards Formal Specification and Verification in Cyberspace - Ambroszkiewicz, Penczek.. (2000) (Correct)
A Complete Axiomatization of a First-Order Temporal Logic.. - Penczek, Srebrny (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