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.
2023
Sep 16, 2023
23.1 TARGET in asynchronous shared-memory systems
Aug 09, 2023
23.5 Linear loop synthesis: When d variables are not enough.
Jul 25, 2023
23.2 $o(n^2)$-time algorithm for coverability in 1-VASS