The Geometry of Reachability in Continuous Vector Addition Systems with States

Shaull Almagor, Arka Ghosh 0002, Tim Leys, Guillermo A. Pérez 0001. The Geometry of Reachability in Continuous Vector Addition Systems with States. In Jérôme Leroux, Sylvain Lombardy, David Peleg, editors, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, August 28 to September 1, 2023, Bordeaux, France. Volume 272 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Abstract

Abstract is missing.