The Geometry of Reachability in Continuous Vector Addition Systems with States.

Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Prez

Browse the full MFCS paper archive.