Patching task-level robot controllers based on a local μ-calculus formula. - Scott C. Livingston; Pavithra Prabhakar; Alex B. Jose; Richard M. Murray (ICRA, 2013)