Topological Value Iteration Algorithm for Markov Decision Processes
Labeled RTDP: Improving the convergence of real-time dynamic programming