Solving Games without Controllable Predecessor
No abstract available.
Related papers
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- An Automaton Learning Approach to Solving Safety Games over Infinite Graphs TACAS 2016
- Solving Mean-Payoff Games via Quasi Dominions TACAS 2020
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022
- Hybrid Game Control Envelope Synthesis OOPSLA 2026
- Verified Learning Without Regret - From Algorithmic Game Theory to Distributed Systems with Mechanized Complexity Guarantees ESOP 2018
- Dominance-based duplication simulation (DBDS): code duplication to enable compiler optimizations CGO 2018
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018