Coverability in 2-VASS with One Unary Counter is in NP.

Filip Mazowiecki, Henry Sinclair-Banks, Karol Wegrzycki

Browse the full FOSSACS paper archive.