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.18 Lower-bound for the decision of guidability
Jul 01, 2025
25.12 Complexity of Reachability in Fixed-Dimensional Continuous VASS
Jul 01, 2025
25.9 Reachability in Low-Dimensional VASS
2024
Jul 01, 2024
24.12 Fine-grained complexity of reachability in one-counter automata
2020
Jul 01, 2020
20.11 The sequential flow problem
Jul 01, 2020
20.10 Tighten the complexity of solving random-turn games
Jul 01, 2020
20.1 Universality of letter-bounded CFLs
2019
Jul 01, 2019
19.12 Reachability for bounded branching VASS
Jul 01, 2019
19.5 On unambiguous grammars
Jul 01, 2019
19.3 Universality for unambiguous automata