The geometry of reachability in continuous vector addition systems with states

DOI10.4230/LIPICS.MFCS.2023.11MaRDI QIDQ6647635FDOQ6647635

Tim Leys, G. A. Pérez, Shaull Almagor, Arka P. Ghosh

Publication date: 3 December 2024

zbMATH Keywords

reachabilitycontinuous approximationvector addition system with states

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: The geometry of reachability in continuous vector addition systems with states

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647635)