Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
2024
Jul 01, 2024
24.10 Functions Weakly-Computable by Vector Addition Systems
Jul 01, 2024
24.9 Is the Hierarchy of Valence Systems with Open Reachability Proper?
2023
Jul 01, 2023
23.4 Bounds on the length of a coverability path in VASS
Jul 01, 2023
23.3 Reachability problem for thin 1-GVASS
Jul 01, 2023
23.2 $o(n^2)$-time algorithm for coverability in 1-VASS