Faster dynamic programming for Markov decision processes
Labeled RTDP: Improving the convergence of real-time dynamic programming