Receding Horizon Control Based Motion Planning with Partially Infeasible LTL Constrains | IEEE Conference Publication | IEEE Xplore