research
∙
06/09/2023
Reachability in 3-VASS is in Tower
The reachability problem for vector addition systems with states (VASS) ...
research
∙
03/13/2020
Reachability is Tower Complete
A complete characterization of the complexity of the reachability proble...
research
∙
06/23/2019