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.11 Logical Characterisation of Deterministic Büchi Register Automata
2022
Jul 01, 2022
22.10 The Parity Language
Jul 01, 2022
22.9 Constructive Zermelo's Problem
2019
Jul 01, 2019
19.8 Logic and automata for multiply nested-words
Jul 01, 2019
19.7 Membership in logical classes for (succinct) finite automata
Jul 01, 2019
19.6 HyperLTL satisfiability
Jul 01, 2019
19.2 SafeLTL