Deciding Fast Termination for Probabilistic VASS with Nondeterminism.

Toms Brzdil, Krishnendu Chatterjee, Antonn Kucera, Petr Novotn, Dominik Velan

Browse the full ATVA paper archive.