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.12 Fine-grained complexity of reachability in one-counter automata
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
2022
Sep 16, 2022
22.3 Universal coverability for Orthant VAS
2019
Jul 19, 2019
19.14 Continuous reachability in ordered data VAS
Jul 19, 2019
19.12 Reachability for bounded branching VASS
Jul 19, 2019
19.11 Shortest runs in 3-D VASS