Applications of model checking for multi-agent systems: verification of diagnosability and recoverability
Franco Raimondi, Charles Pecheur, Alessio R. Lomuscio · 2005
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.