Islam, Fahad, Oren Salzman, and Maxim Likhachev. 2021. “Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks”. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):716-24. https://doi.org/10.1609/icaps.v29i1.3540.