Just-in-time synthesis for reactive motion planning with temporal logic.

Scott C. Livingston, Richard M. Murray

Browse the full ICRA paper archive.