Patching task-level robot controllers based on a local μ-calculus formula.

Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray

Browse the full ICRA paper archive.