Markov reward models