Reachability in Fixed-Dimensional Continuous VASS

Michal Ajdarów, A. R. Balasubramanian, Łukasz Orlikowski

Vector Addition System with States (VASS) are a ubiquitous model of infinite-state systems consisting of a set of non-negative counters which can be incremented and decremented. It…