52 citations · 146 across the 41 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…