Faster dynamic programming for Markov decision processes
Artificial intelligence: A modern approach