TY  - RPRT
TI  - Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests
AU  - Roland Guttenberg
AU  - Wojciech Czerwiński
AU  - Sławomir Lasota
PY  - 2025
UR  - https://arxiv.org/abs/2502.07660
ID  - 2502.07660
ER  -