From the 1 of 2 linked papers with an AI index.
2 papers
cs.FL2026
3-VASS Reachability is in EXPSPACE
Weijun Chen, Bo Fu, Yuxi Fu +4
The paper proves that the reachability problem for three-dimensional vector addition systems with states (3-VASS) can be solved within EXPSPACE, improving the previous 2‑EXPSPACE u…
cs.CC2025
Reachability in Geometrically -Dimensional VASS
Yuxi Fu, Yangluo Zheng, Qizhe Yang
Reachability of vector addition systems with states (VASS) is Ackermann complete~\cite{leroux2021reachability,czerwinski2021reachability}. For -dimensional VASS reachability it…