Automatic Verification of Autonomous Robot Missions.
Matthew Joseph O'BrienRonald C. ArkinDagan HarringtonDamian M. LyonsShu JiangPublished in: SIMPAR (2014)
Keyphrases
- autonomous robots
- search and rescue
- multiple robots
- mobile robot
- robot navigation
- goal directed
- robotic systems
- space exploration
- robot control
- autonomous mobile robot
- navigation systems
- obstacle avoidance
- unknown environments
- unmanned aerial vehicles
- real time
- motion control
- path planning
- mars rover
- real environment
- databases
- data sets
- unstructured environments
- multi modal
- multi agent
- computer vision
- artificial intelligence
- database
- robot behavior