User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

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

Primary tabs

Raimondi, Franco [Departement of computer science, University college London, UK] Pecheur, Charles [UCL] Lomuscio, Alessio [Departement of computer science, University college London, UK]

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.

Document type Communication à un colloque (Conference Paper) – Présentation orale avec comité de sélection
Access type Accès restreint
Publication date 2005
Language Anglais
Conference "CSP 200", Ruciane-Nida, Poland
Peer reviewed yes
Host document "Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland"
Publication status Publié
Affiliation UCL - SST/ICTM/INGI - Pôle en ingénierie informatique
Keywords 1162
Links
Bibliographic reference Raimondi, Franco ; Pecheur, Charles ; Lomuscio, Alessio. Applications of model checking for multi-agent systems: verification of diagnosability and recoverability .CSP 200 (Ruciane-Nida, Poland). In: Proceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland, 2005
Permanent URL http://hdl.handle.net/2078.1/140261