Performance Verification for Behavior-Based Robot Missions.
Damian M. LyonsRonald C. ArkinShu JiangTsung-Ming LiuParamesh NirmalPublished in: IEEE Trans. Robotics (2015)
Keyphrases
- search and rescue
- robot control
- mobile robot
- control architecture
- multiple robots
- autonomous robots
- robot teams
- multi robot
- space exploration
- robotic systems
- path planning
- robot navigation
- human robot interaction
- vision system
- humanoid robot
- subsumption architecture
- formal methods
- robot manipulators
- skill learning
- simulated robot
- goal directed
- unmanned aerial vehicles
- hand eye calibration
- robot programming
- verification method
- intelligent robots
- data sets
- neural network
- robot moves
- multi modal
- control strategy
- position and orientation
- robot soccer
- formal verification
- signature verification
- face verification