35 citations · 169 across the 13 of their papers we have counts for
1 paper · 2 filters
Christoph Haase, Stefan Kiefer
Given Markov chains and Markov decision processes (MDPs) whose transitions are labelled with non-negative integer costs, we study the computational complexity of deciding whether t…