Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
2025
Jul 01, 2025
25.26 Memory requirements of subgame perfect equilibria in reachability games
Jul 01, 2025
25.24 Classes of languages with objective-independent memory
Jul 01, 2025
25.20 On an equivalence between finitely many tokens and one invisible token
Jul 01, 2025
25.7 Strong subgame perfect equilibria
2020
Jul 01, 2020
20.12 Succinctness of GFG pushdown automata
Jul 01, 2020
20.10 Tighten the complexity of solving random-turn games
Jul 01, 2020
20.9 Memory requirements for generalized reachability games
Jul 01, 2020
20.8 Good games for good-for-games automata
Jul 01, 2020
20.4 Populations of Markov decision processes, what we know and an open question