Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
2020
Nov 03, 2020
20.9 Memory requirements for generalized reachability games
Nov 03, 2020
20.10 Tighten the complexity of solving random-turn games
Nov 03, 2020
20.12 Succinctness of GFG pushdown automata
Aug 03, 2020
20.8 Good games for good-for-games automata
Jul 21, 2020
20.4 Populations of Markov decision processes, what we know and an open question