TY  - RPRT
TI  - Reachability in 3-VASS is Elementary
AU  - Wojciech Czerwiński
AU  - Ismaël Jecker
AU  - Sławomir Lasota
AU  - Łukasz Orlikowski
PY  - 2025
UR  - https://arxiv.org/abs/2502.13916
ID  - 2502.13916
ER  -