Similar Items: Affine Extensions of Integer Vector Addition Systems with States
- The Complexity of Reachability in Affine Vector Addition Systems with States
- Theories of real addition with and without a predicate for integers
- Vector Addition System Reversible Reachability Problem
- Model Checking Vector Addition Systems with one zero-test
- Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants