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

Raimondi, Franco;Pecheur, Charles;Lomuscio, Alessio
(2005) CSP 200 — Location: Ruciane-Nida, Poland

Files

raimondi-csp05.ps
  • Restricted Access
  • Postscript
  • 159.02 KB
Request a copy

Details

Authors
  • Raimondi, FrancoDepartement of computer science, University college London, UK
    Author
  • Pecheur, Charlesorcid-logoUCLouvain
    Author
  • Lomuscio, AlessioDepartement of computer science, University college London, UK
    Author
Abstract
This paper presents a practical application of model checking for multi-agent systems to the automatic verification of diagnosability. First, a characterisation of diagnosability in terms of epistemic properties of agents is given; then, experimen- tal results are presented for preliminary investigations in the automatic verification of diagnosability of Livingstone models.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Raimondi, F., Pecheur, C., & Lomuscio, A. (2005). Applications of model checking for multi-agent systems: verification of diagnosability and recoverability. Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland. Published. CSP 200, Ruciane-Nida, Poland. https://hdl.handle.net/2078.5/231723