jMocha

MaRDI QIDQ36528swMATHFDO

Official website https://ieeexplore.ieee.org/document/919196/

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