@misc{indiciae90156e8d4eaf,
  title = {Deciding Fast Termination for Probabilistic VASS with Nondeterminism},
  author = {Tomáš Brázdil and Krishnendu Chatterjee and Antonín Kučera and Petr Novotný and Dominik Velan},
  year = {2019},
  url = {https://arxiv.org/abs/1907.11010},
  note = {Source identifier: 1907.11010}
}