Prioritizing Bellman backups without a priority queue
Labeled RTDP: Improving the convergence of real-time dynamic programming