Planning under Uncertainty with Markov Decision Processes