Similar Items: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- Vector Addition System Reversible Reachability Problem
- The Complexity of Reachability in Affine Vector Addition Systems with States
- Improving Reachability in Vector Addition Systems through Pumpability
- Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
- Bounded Quantifier Instantiation for Checking Inductive Invariants
- Affine Extensions of Integer Vector Addition Systems with States