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