From the 1 of 3 linked papers with an AI index.
3 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.FL2026
Improving Reachability in Vector Addition Systems through Pumpability
Weijun Chen, Yuxi Fu, Yangluo Zheng
Vector addition systems (VAS) constitute an important model of computation and concurrency that is equally expressive as the Petri net model. Recently, a lot of research has been c…
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…