52 citations · 146 across the 41 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015
Trace Refinement in Labelled Markov Decision Processes
Nathanaël Fijalkow, Stefan Kiefer, Mahsa Shirmohammadi
Given two labelled Markov decision processes (MDPs), the trace-refinement problem asks whether for all strategies of the first MDP there exists a strategy of the second MDP such th…
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…