Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions
No abstract available.
DOI 10.1007/3-540-61042-1_46
Related papers
- Bounded Synthesis for Streett, Rabin, and \text CTL^* CAV 2017
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- A constraint-based approach to solving games on infinite graphs POPL 2014
- Solving Infinite-State Games via Acceleration POPL 2024
- Rabin Games and Colourful Universal Trees TACAS 2024
- Localized Attractor Computations for Infinite-State Games CAV 2024
- A Hierarchy of Supermartingales for ω-Regular Verification PLDI 2026