jMocha

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