Stav dette: Examples in Markov decision processes