Hot-swapping robot task goals in reactive formal synthesis.
Scott C. LivingstonRichard M. MurrayPublished in: CDC (2014)
Keyphrases
- mobile robot
- human robot interaction
- goal directed
- path planning
- humanoid robot
- vision system
- robot navigation
- formal methods
- reactive systems
- autonomous robots
- multi robot
- robot control
- mobile robotics
- hot topics
- robot manipulators
- obstacle avoidance
- robotic systems
- subsumption architecture
- robot soccer
- search and rescue
- data swapping
- reactive planning
- parallel robot
- robot programming
- simulated robot
- sensory motor
- motion planning
- robotic arm
- computer controlled
- human users
- robot arm
- simultaneous localization and mapping
- real time