Probabilistic Verification of Coordinated Multi-robot Missions.
Sagar ChakiJoseph Andrew GiampapaPublished in: SPIN (2013)
Keyphrases
- multi robot
- multiple robots
- search and rescue
- path planning
- multi robot systems
- mobile robot
- robot teams
- multi robot exploration
- dynamic task allocation
- uncertain environments
- potential field
- multi robot cooperative
- robot soccer
- probabilistic model
- motion planning
- multi agent
- collision avoidance
- ant colony
- coalitional game theory
- cooperative
- unmanned aerial vehicles
- obstacle avoidance
- formation control