Dai, P., Mausam, and D. Weld. “Focused Topological Value Iteration”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 19, no. 1, May 2021, pp. 82-89, doi:10.1609/icaps.v19i1.18138.