Reachability in Geometrically $d$-Dimensional VASS

Yuxi Fu, Yangluo Zheng, Qizhe Yang

Reachability of vector addition systems with states (VASS) is Ackermann complete~\cite{leroux2021reachability,czerwinski2021reachability}. For $d$-dimensional VASS reachability it…