@inproceedings{5f68b37af0424dd791e040cdc4ad5844,
title = "The Geometry of Reachability in Continuous Vector Addition Systems with States",
abstract = "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 and zonotopes generated by the vectors labelling the transitions of the VASS. We use the latter to prove that short so-called linear path schemes suffice as witnesses of reachability in continuous VASS. Then, we give new polynomial-time algorithms for the reachability problem for linear path schemes. Finally, we also establish that enriching the model with zero tests makes the reachability problem intractable already for linear path schemes of dimension two.",
keywords = "Vector addition system with states, continuous approximation, reachability",
author = "Shaull Almagor and Arka Ghosh and Tim Leys and P{\'e}rez, {Guillermo A.}",
note = "Publisher Copyright: {\textcopyright} Shaull Almagor, Arka Ghosh, Tim Leys, and Guillermo A. P{\'e}rez;; 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023 ; Conference date: 28-08-2023 Through 01-09-2023",
year = "2023",
month = aug,
doi = "https://doi.org/10.4230/LIPIcs.MFCS.2023.11",
language = "الإنجليزيّة",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
editor = "Jerome Leroux and Sylvain Lombardy and David Peleg",
booktitle = "48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023",
}