Finitary Winning in omega-Regular Games
No abstract available.
Related papers
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023
- Computing Adequately Permissive Assumptions for Synthesis TACAS 2023
- Most General Winning Secure Equilibria Synthesis in Graph Games TACAS 2024
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022
- Doomsday Equilibria for Omega-Regular Games VMCAI 2014
- Strategy Representation by Decision Trees in Reactive Synthesis TACAS 2018
- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning TACAS 2023
- Faster Algorithms for Finitary Games TACAS 2007