STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions
Kurpiewski, Damian, Pazderski, Witold, Jamroga, Wojciech, Kim, Yan
–arXiv.org Artificial Intelligence
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.
arXiv.org Artificial Intelligence
Oct-27-2023
- Country:
- Europe > Poland (0.04)
- North America
- United States > New York (0.04)
- Canada > Ontario
- Toronto (0.04)
- Genre:
- Research Report (0.41)
- Technology: