Multi-robot Deployment From LTL Specifications with Reduced Communication
Marius KloetzerXu Chu DingCalin BeltaPublished in: CoRR (2011)
Keyphrases
- multi robot
- multi robot coordination
- bounded model checking
- mobile robot
- path planning
- multi robot systems
- multi robot exploration
- model checking
- dynamic task allocation
- robot soccer
- multiple robots
- search and rescue
- potential field
- transition systems
- uncertain environments
- motion planning
- temporal logic
- linear temporal logic
- formal verification
- robotic systems
- robot teams
- resource allocation
- multi robot cooperative
- cooperative