Deciding Fast Termination for Probabilistic VASS with Nondeterminism

Tomáš Brázdil, Krishnendu Chatterjee, Antonín Kučera +2

A probabilistic vector addition system with states (pVASS) is a finite state Markov process augmented with non-negative integer counters that can be incremented or decremented duri…