Backtracking temporal logic synthesis for uncertain environments.

Scott C. Livingston, Richard M. Murray, Joel W. Burdick

Browse the full ICRA paper archive.