Scott C. Livingston, Pavithra Prabhakar, Alex B. Jose, Richard M. Murray. Patching task-level robot controllers based on a local μ-calculus formula. In 2013 IEEE International Conference on Robotics and Automation, Karlsruhe, Germany, May 6-10, 2013. pages 4588-4595, IEEE, 2013. [doi]
Abstract is missing.