# STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

arXiv: https://arxiv.org/abs/2310.18418 · HTML: https://mlsanity.com/paper/2310.18418/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 27 Oct 2023.

## Built on by (most cited first, 1 of 1)

- [A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics](https://mlsanity.com/paper/2606.17962/) (2026)

## Abstract (arXiv)

We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version adds user-definable models and support for model reduction through partial order reduction and checking for bisimulation.