P. Dai, Mausam, and D. Weld, “Focused Topological Value Iteration”, ICAPS, vol. 19, no. 1, pp. 82-89, May 2021.