Progressive horizon planning-planning exploratory-corrective behavior | IEEE Journals & Magazine | IEEE Xplore