A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems.
Brian P. GerkeyMaja J. MataricPublished in: Int. J. Robotics Res. (2004)
Keyphrases
- formal analysis
- multi robot systems
- multi robot
- multi robot task allocation
- mobile robot
- path planning
- agent model
- multi agent
- multiple robots
- autonomous robots
- formal methods
- formation control
- real time
- software engineering
- robotic systems
- multi agent systems
- surveillance system
- motion planning
- artificial intelligence