GAVS+: An Open Platform for the Research of Algorithmic Game Solving
No abstract available.
Related papers
- mypyvy: A Research Platform for Verification of Transition Systems in First-Order Logic CAV 2024
- A Discrete Strategy Improvement Algorithm for Solving Parity Games CAV 2000
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games CAV 2016
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022
- Attracting Tangles to Solve Parity Games CAV 2018
- Solving Mean-Payoff Games via Quasi Dominions TACAS 2020
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009