Decidability and Complexity of Decision Problems for Affine Continuous VASS

A. R. Balasubramanian

Vector addition system with states (VASS) is a popular model for the verification of concurrent systems. VASS consists of finitely many control states and a set of counters which c…