F. Islam, O. Salzman, and M. Likhachev, “Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks”, ICAPS, vol. 29, no. 1, pp. 716-724, May 2021.