Verifying and validating multirobot missions.
Damian M. LyonsRonald C. ArkinShu JiangDagan HarringtonT. LiuPublished in: IROS (2014)
Keyphrases
- multi robot
- search and rescue
- multiple robots
- robot teams
- path planning
- mobile robot
- multi robot systems
- motion planning
- potential field
- space exploration
- multi robot exploration
- model checking
- multi robot cooperative
- distributed architecture
- robotic systems
- map building
- formation control
- leader follower
- computer vision
- multi robot coordination
- multi class