A preorder relation for Markov reward processesDavid DalyPeter Buchholzet al.2007Statistics and Probability LettersPaper
Bound-preserving composition for Markov reward modelsDavid DalyPeter Buchholzet al.2006QEST 2006Conference paper