STV: Model Checking for Strategies under Imperfect Information
Damian Kurpiewski, Wojciech Jamroga, Michał Knapik · 2019
We present an experimental tool for verification of strategic abilities under imperfect information, as well as strategy synthesis. The problem is well known to be hard, both theoretically and in practice. The tool, called StraTegic Verifier (STV), implements several recently developed algorithms to overcome the complexity.