Similar Items: The Complexity of Reachability in Affine Vector Addition Systems with States
- Affine Extensions of Integer Vector Addition Systems with States
- Vector Addition System Reversible Reachability Problem
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- Improving Reachability in Vector Addition Systems through Pumpability
- Model Checking Vector Addition Systems with one zero-test
- Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable