We propose a notion of alternating bisimulation for strategic abilities ...
We investigate networks of automata that synchronise over common action
...
This paper constitutes a short introduction to parametric verification o...
Model checking of strategic ability under imperfect information is known...