The following pages link to jMocha (Q36528):
Displaying 3 items.
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- Approximate verification of strategic abilities under imperfect information (Q2289016) (← links)
