Dai, Peng, Mausam, and Daniel Weld. 2021. “Focused Topological Value Iteration”. Proceedings of the International Conference on Automated Planning and Scheduling 19 (1):82-89. https://doi.org/10.1609/icaps.v19i1.18138.