Cited in
(9)- Model checking abilities of agents: a closer look
- VerICS
- MCMAS
- MCK
- MOCHA
- MCMAS-SLK
- Strategic reasoning with a bounded number of resources: the quest for tractability
- Approximate verification of strategic abilities under imperfect information
- Practical verification of multi-agent systems against \textsc{Slk} specifications
This page was built for software: jMocha
