Multi-robot deployment from LTL specifications with reduced communication.
Marius KloetzerXu Chu DingCalin BeltaPublished in: CDC/ECC (2011)
Keyphrases
- multi robot
- multi robot coordination
- bounded model checking
- path planning
- multi robot systems
- mobile robot
- multi robot exploration
- model checking
- robotic systems
- motion planning
- robot soccer
- transition systems
- dynamic task allocation
- multiple robots
- temporal logic
- potential field
- search and rescue
- uncertain environments
- linear temporal logic
- robot teams
- formation control
- surveillance system
- map building
- formal verification
- biologically inspired
- multi robot cooperative
- coalitional game theory