TY  - RPRT
TI  - Reachability in VASS Extended with Integer Counters
AU  - Clotilde Bizière
AU  - Wojciech Czerwiński
AU  - Roland Guttenberg
AU  - Jérôme Leroux
AU  - Vincent Michielini
AU  - Łukasz Orlikowski
AU  - Antoni Puch
AU  - Henry Sinclair-Banks
PY  - 2026
DO  - 10.4230/lipics.lics.2026.19
UR  - https://arxiv.org/abs/2603.05221
ID  - 2603.05221
ER  -