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

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

Published in: ICRA (2013)

Keyphrases

mobile robot
human robot interaction
control system
vision system
evolutionary robotics
real time
robot programming
robot navigation
robot control
path planning
multi robot
autonomous robots
levels of abstraction
computer algebra