Publications

Applications of model checking for multi-agent systems: verification of diagnosability and recoverability

Authors
Franco Raimondi, Charles Pecheur, Alessio Lomuscio
Tags
, , , , ,
Title
Applications of model checking for multi-agent systems: verification of diagnosability and recoverability
Authors
Franco Raimondi, Charles Pecheur, Alessio Lomuscio
 raimondi-csp05.ps Δ   159Kb   02 May 2010
Type
In Proceedings
Book title
Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland
Year
2005

Abstract

This paper presents a practical application of model checking for multi-agent systems to the automatic verfication of diagnosability. First, a characterisation of diagnosability in terms of epistemic properties of agents is given; then, experimental results are presented for preliminary investigations in the automatic verification of diagnosability of Livingstone models.

Tags Tags: , , , , ,


BibTeX Record
  @INPROCEEDINGS{lvl-2005-1,
    TITLE = {Applications of model checking for multi-agent systems: verification of diagnosability and recoverability},
    AUTHOR = {Franco Raimondi and Charles Pecheur and Alessio Lomuscio},
    YEAR = {2005},
    URL = {http://lvl.info.ucl.ac.be/Publications/ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability},
  }