Franco Raimondi, Alessio Lomuscio  Home/Search
Context Related
| aamas2004.org/proc...aimondif_obdds.pdf 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: aamas2004.org/proceedings/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We investigate the problem of the verification of epistemic properties of multiagent systems via model checking. Specifically, we extend and adapt methods based on ordered binary decision diagrams, a mainstream verification technique in reactive systems. We provide an algorithm, and present a software package that implements it. We discuss the software and benchmark it by means of a standard example in the literature, the dining cryptographers. (Update)
Cited by: More
Automatic Verification of Deontic Interpreted Systems by.. - Raimondi, Lomuscio (Correct)
Automatic Verification of Deontic Properties of Multi-Agent.. - Raimondi, Lomuscio (Correct)
Active bibliography (related documents): More All
0.7: Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
0.7: Verification of Multiagent Systems via Ordered Binary.. - Raimondi, Lomuscio (2004) (Correct)
0.4: Verification In Multi-Agent Systems - Raimondi (Correct)
Similar documents based on text: More All
0.3: Symbolic Model Checking of Multi-Agent Systems Using OBDDs - Raimondi, Lomuscio (Correct)
0.2: Knowledge in Multiagent Systems: Initial.. - Lomuscio, van der.. (2000) (Correct)
0.2: Verification of Multiagent Systems via Unbounded Model.. - Kacprzak, Lomuscio.. (2004) (Correct)
Related documents from co-citation: More All
3: Model checking AgentSpeak - Bordini, Fisher et al.
3: Graph-based algorithms for boolean function manipulation - Bryant - 1986
3: Model checking multiagent systems with mable - Wooldridge, Fisher et al. - 2002
BibTeX entry: (Update)
F. Raimondi and A. Lomuscio. Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation. Submitted, 2004. http://citeseer.ist.psu.edu/article/raimondi04verification.html More
@misc{ raimondi04verification,
author = "F. Raimondi and A. Lomuscio",
title = "Verification of multiagent systems via ordered binary decision diagrams:
an algorithm and its implementation",
text = "F. Raimondi and A. Lomuscio. Verification of multiagent systems via ordered
binary decision diagrams: an algorithm and its implementation. Submitted,
2004.",
year = "2004",
url = "citeseer.ist.psu.edu/article/raimondi04verification.html" }
Citations (may not include all citations):1726 Graph-based algorithms for boolean function manipulation - Bryant - 1986
1097 Automatic verification of finite-state concurrent systems us.. (context) - Clarke, Emerson et al. - 1986
828 Model Checking - Clarke, Grumberg et al. - 1999
604 Reasoning about Knowledge (context) - Fagin, Halpern et al. - 1995
375 IEEE transaction on software engineering (context) - Holzmann, checker - 1997
315 Symbolic model checking: An approach to the state explosion .. (context) - McMillan - 1993
244 Symbolic Model Checking without BDDs - Biere, Cimatti et al. - 1999
141 BDI agents speak out in a logical computable language (context) - Rao - 1996
113 The dining cryptographers problem: Unconditional sender and .. (context) - Chaum - 1988
50 NuSMV: A new symbolic model verifier - Cimatti, Clarke et al. - 1999
39 Model checking multiagent systems - Benerecetti, Giunchiglia et al. - 1998
36 Logic in Computer Science: Modelling and Reasoning about Sys.. - Huth, Ryan - 2000
31 Model checking multi-agent systems with MABLE - Wooldridge, Fisher et al. - 2002
27 Model checking knowledge and time in systems with perfect re.. - van der Meyden, Shilov - 1999
26 Verifying epistemic properties of multi-agent systems via mo.. - Penczek, Lomuscio - 2003
24 Model checking AgentSpeak - Bordini, Fisher et al. - 2003
24 Applying SAT methods in unbounded symbolic model checking (context) - McMillan - 2002
17 Symbolic model checking the knowledge of the dining cryptogr.. - van der Meyden, Su - 2002
10 A tool for specification and verification of epistemic and t.. - Raimondi, Lomuscio - 2003
7 Lecture Notes in Computer Science (context) - for, synthesis - 1996
6 Intelligent Robots and Autonomous Agents (context) - Wooldridge, Rational - 2000
http://vlsi.colorado.edu/#fabio/CUDD/cuddIntro.html
http://www.dcs.kcl.ac.uk/pg/franco/mcis/
http://www.cse.unsw.edu.au/
Documents on the same site (http://www.aamas2004.org/proceedings/): More
Agent-Based Approach to Dynamic Meeting Scheduling Problems - Hassine, Defago, Ho (2004) (Correct)
The effect of policies for selecting the solution of a.. - Silaghi, Rajeshirke (2004) (Correct)
Multi-Agent Simulation of Collaborative Strategies in a .. - Moyaux, Chaib-draa.. (2004) (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