Refined pumpability analysis from VASS yields an F_{d-2} upper bound on reachability for d-dimensional VAS, plus PSPACE for 4D and ELEMENTARY for 5D.
48550/ARXIV.2602.15483
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Improving Reachability in Vector Addition Systems through Pumpability
Refined pumpability analysis from VASS yields an F_{d-2} upper bound on reachability for d-dimensional VAS, plus PSPACE for 4D and ELEMENTARY for 5D.