swMATH24777MaRDI QIDQ36528FDOQ36528
Author name not available (Why is that?)
Official website: https://ieeexplore.ieee.org/document/919196/
Cited In (8)
- Model checking abilities of agents: a closer look
- 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
