Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (ICALP, 2024)

Improved Algorithm for Reachability in d-VASS. - Yuxi Fu; Qizhe Yang; Yangluo Zheng (CoRR, 2024)

Reachability in Vector Addition System with States Parameterized by Geometric Dimension. - Yangluo Zheng (CONCUR, 2025)

Reachability in Geometrically d-Dimensional VASS. - Yuxi Fu; Yangluo Zheng; Qizhe Yang (CoRR, 2025)