Islam, F., O. Salzman, and M. Likhachev. “Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, no. 1, May 2021, pp. 716-24, doi:10.1609/icaps.v29i1.3540.