TY  - RPRT
TI  - Coverability in VASS Revisited: Improving Rackoff's Bound to Obtain Conditional Optimality
AU  - Marvin Künnemann
AU  - Filip Mazowiecki
AU  - Lia Schütze
AU  - Henry Sinclair-Banks
AU  - Karol Węgrzycki
PY  - 2023
UR  - https://arxiv.org/abs/2305.01581
ID  - 2305.01581
ER  -