Autobóz: Open Problems
Open Problems in Automata Theory, Logic, Games, and related topics
Menu
Close
Home
Archives
Tags
autóboz website
There are 46 posts in total till now.
2020
Nov 03, 2020
20.10 Tighten the complexity of solving random-turn games
Nov 03, 2020
20.11 The sequential flow problem
Nov 03, 2020
20.12 Succinctness of GFG pushdown automata
Nov 03, 2020
20.9 Memory requirements for generalized reachability games
Aug 03, 2020
20.8 Good games for good-for-games automata
Jul 21, 2020
20.1 Universality of letter-bounded CFLs
Jul 21, 2020
20.2 Deterministic separability of nondeterministic timed languages
Jul 21, 2020
20.3 Prime DOCAs
Jul 21, 2020
20.4 Populations of Markov decision processes, what we know and an open question
Jul 21, 2020
20.5 Regular antichain subset of the iteration of a regular language
1
2
Next