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

TitleApplications of model checking for multi-agent systems: verification of diagnosability and recoverability
Publication TypeConference Paper
Year of Publication2005
AuthorsRaimondi, F, Pecheur C, Lomuscio A
Conference NameProceedings of Concurrency Specification and Programming (CSP 2005), Ruciane-Nida, Poland
URLhttp://lvl.info.ucl.ac.be/Publications/ApplicationsOfModelCheckingForMulti-agentSystemsVerificationOfDiagnosabilityAndRecoverability