Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
2024
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
Apr 22, 2024
23.3 Reachability problem for thin 1-GVASS
Apr 22, 2024
23.4 Bounds on the length of a coverability path in VASS
2023
Jul 25, 2023
23.2 $o(n^2)$-time algorithm for coverability in 1-VASS