STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Not on the map. Why?
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.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). First posted on arXiv 27 Oct 2023.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2026: 1.
1 paper.