Reachability in 3-VASS is in Tower

Qizhe Yang, Yuxi Fu

The reachability problem for vector addition systems with states (VASS) has been shown to be \textsc{Ackermann}-complete. For every $k\ge 3$, a completeness result for the $k$-dim…