From the 1 of 4 linked papers with an AI index.
4 papers
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…
Exploring VASS Parameterised by Geometric Dimension
Wojciech CzerwiÅski, Roland Guttenberg, Åukasz Orlikowski +2
The geometric dimension of a Vector Addition System with States (VASS) is the dimension of the vector space generated by cycles in the VASS; this parameter refines the standard…
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…
Reachability in Vector Addition System with States Parameterized by Geometric Dimension
Yangluo Zheng
The geometric dimension of a Vector Addition System with States (VASS), emerged in Leroux and Schmitz (2019) and formalized by Fu, Yang, and Zheng (2024), quantifies the dimension…