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

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]

Authors

Scott C. Livingston

This author has not been identified. Look up 'Scott C. Livingston' in Google

Pavithra Prabhakar

This author has not been identified. Look up 'Pavithra Prabhakar' in Google

Alex B. Jose

This author has not been identified. Look up 'Alex B. Jose' in Google

Richard M. Murray

This author has not been identified. Look up 'Richard M. Murray' in Google