TY  - RPRT
TI  - Coverability in 2-VASS with One Unary Counter is in NP
AU  - Filip Mazowiecki
AU  - Henry Sinclair-Banks
AU  - Karol Węgrzycki
PY  - 2023
UR  - https://arxiv.org/abs/2301.13543
ID  - 2301.13543
ER  -