@misc{indiciaeb75757448d9d,
  title = {Coverability in 2-VASS with One Unary Counter is in NP},
  author = {Filip Mazowiecki and Henry Sinclair-Banks and Karol Węgrzycki},
  year = {2023},
  url = {https://arxiv.org/abs/2301.13543},
  note = {Source identifier: 2301.13543}
}