STV: Model Checking for Strategies under Imperfect Information

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.