Planning with Markov Decision Processes