Faster Algorithms for Finitary Games
No abstract available.
Related papers
- Finitary Winning in omega-Regular Games TACAS 2006
- Decision Algorithms for Checking Definability of Order-2 Finitary PCF APLAS 2015
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022
- Computing Adequately Permissive Assumptions for Synthesis TACAS 2023
- Finitary polymorphism for optimizing type-directed compilation ICFP 2018
- ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States TOPLAS 2019
- Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers APLAS 2025
- Finitary Fairness TOPLAS 1998