Markov Decision Process Value Iteration