EasyChair Smart Slide
Deciding Fast Termination for Probabilistic VASS with Nondeterminism
Deciding Fast Termination for Probabilistic VASS with Nondeterminism