Open Problems in Automata Theory
Contributions from the Autobóz Community
Menu
Close
Home
Archives
Categories
Tags
About
autóboz website
There are 102 posts in total till now.
2023
Jul 01, 2023
23.8 Linear loop synthesis: When d variables are not enough.
Jul 01, 2023
23.7 The time-complexity of coverability in unary 1-VASS
Jul 01, 2023
23.6 Target for pushdown RBN
Jul 01, 2023
23.5 Linear loop synthesis: When d variables are not enough.
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
Jul 01, 2023
23.1 TARGET in asynchronous shared-memory systems