Receding Horizon Control-Based Motion Planning With Partially Infeasible LTL Constraints | IEEE Journals & Magazine | IEEE Xplore