47 citations · 115 across the 33 of their papers we have counts for
1 paper · 2 filters
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…