47 citations · 115 across the 33 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 2 cited
Long-Run Average Behaviour of Probabilistic Vector Addition Systems
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…
cs.LO2015★ 2 cited
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík +2
While for deterministic systems, a counterexample to a property can simply be an error trace, counterexamples in probabilistic systems are necessarily more complex. For instance, a…