Islam, F.; Salzman, O.; Likhachev, M. Provable Indefinite-Horizon Real-Time Planning for Repetitive Tasks. ICAPS 2021, 29, 716-724.