For fixed-dimensional continuous VASS with rational transition vectors, all eight variants of reachability and coverability are in AC^1 for dimension 1 and NP-complete for dimension at least 2.
17 Monika Heiner, David R
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
-
Reachability in Fixed-Dimensional Continuous VASS
For fixed-dimensional continuous VASS with rational transition vectors, all eight variants of reachability and coverability are in AC^1 for dimension 1 and NP-complete for dimension at least 2.