Modular Strategies for Infinite Games on Recursive Graphs
No abstract available.
Related papers
- Modular Strategies for Recursive Game Graphs TACAS 2003
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Solving Infinite-State Games via Acceleration POPL 2024
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Modular Attractor Acceleration in Infinite-State Games TACAS 2026
- Concurrent Permissive Strategy Templates TACAS 2026
- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs TACAS 2016
- Localized Attractor Computations for Infinite-State Games CAV 2024