47 citations · 144 across the 34 of their papers we have counts for
1 paper · 2 filters
Tomas Brazdil, Stefan Kiefer, Antonin Kucera +1
We study the pattern frequency vector for runs in probabilistic Vector Addition Systems with States (pVASS). Intuitively, each configuration of a given pVASS is assigned one of fin…