An Automated Approach to Verifying Diagnosability in Multi-agent Systems.

Jonathan Ezekiel, Alessio Lomuscio

Browse the full SEFM paper archive.