STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
arXiv:2310.18418 · doi:10.5555/3463952.3464232
Abstract
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.