jMocha

swMATH24777MaRDI QIDQ36528FDOQ36528

Author name not available (Why is that?)

Cited In (4)

• Model checking abilities of agents: a closer look
• 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