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
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
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 = {https://lvl.info.ucl.ac.be/Publications/ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability},
  }