Just-in-time synthesis for reactive motion planning with temporal logic | IEEE Conference Publication | IEEE Xplore