The Geometry of Reachability in Continuous Vector Addition Systems with States

Shaull Almagor, Arka Ghosh, Tim Leys +1

We study the geometry of reachability sets of continuous vector addition systems with states (VASS). In particular we establish that they are almost Minkowski sums of convex cones…