Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
There are 71 posts in total till now.
2024
Jul 14, 2024
24.19 Reachability in Reversible Data VASS
Jul 13, 2024
24.17 Monotone regular functions
Jul 13, 2024
24.18 Lower bounds for determinizability of weighted automata over \(\mathbb Q\)
Jul 12, 2024
24.16 Speed of victory in adversarial population games
Jul 11, 2024
24.15 Games under delays and loss
Jul 05, 2024
24.6 Emptiness-checking for 3-clock Timed Automata with additive constraints
Jul 05, 2024
24.7 Minimality for Deterministic Suffix-reading Automata
Jul 05, 2024
24.8 Coverability in Wait-Only Networks with non-blocking bounded sendings
Jul 05, 2024
24.9 Is the Hierarchy of Valence Systems with Open Reachability Proper?
Jul 05, 2024
24.10 Functions Weakly-Computable by Vector Addition Systems
1
2
3
Next