TY  - RPRT
TI  - Geometry of Reachability sets of Vector Addition Systems
AU  - Roland Guttenberg
AU  - Mikhail Raskin
AU  - Javier Esparza
PY  - 2023
UR  - https://arxiv.org/abs/2211.02889
ID  - 2211.02889
ER  -