Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension

@article{Leroux2019ReachabilityIV,
  title={Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension},
  author={J{\'e}r{\^o}me Leroux and S. Schmitz},
  journal={2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
  year={2019},
  pages={1-13}
}
  • Jérôme Leroux, S. Schmitz
  • Published 2019
  • Mathematics, Computer Science
  • 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
The reachability problem in vector addition systems is a central question, not only for the static verification of these systems, but also for many inter-reducible decision problems occurring in various fields. The currently best known upper bound on this problem is not primitive-recursive, even when considering systems of fixed dimension. We provide significant refinements to the classical decomposition algorithm of Mayr, Kosaraju, and Lambert and to its termination proof, which yield an… Expand
Reachability in fixed dimension vector addition systems with states
When Reachability Meets Grzegorczyk
Reachability for Bounded Branching VASS
Continuous One-Counter Automata
The reachability problem for Petri nets is not elementary
...
1
2
3
4
...

References

SHOWING 1-10 OF 32 REFERENCES
The complexity of reachability in vector addition systems
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete*
Vector Addition Systems Reachability Problem (A Simpler Solution)
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
  • Jérôme Leroux
  • Mathematics, Computer Science
  • 2009 24th Annual IEEE Symposium on Logic In Computer Science
  • 2009
Demystifying Reachability in Vector Addition Systems
Algorithmic Complexity of Well-Quasi-Orders
VASS reachability in three steps
  • S. Lasota
  • Computer Science, Mathematics
  • ArXiv
  • 2018
...
1
2
3
4
...