4 papers
3-VASS Reachability is in EXPSPACE
Weijun Chen, Bo Fu, Yuxi Fu +4
A VASS can be viewed as a finite-state automaton manipulating a fixed number (called its dimension) of counters holding non-negative values. The reachability problem, asking whethe…
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…
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…
Improved Algorithm for Reachability in -VASS
Yuxi Fu, Qizhe Yang, Yangluo Zheng
An upper bound for the reachability problem in vector addition systems with states (VASS) in fixed dimension is given, where is the -th level of…