Multi-robot Planning: a Timed Automata Approach.
Michael Melholt QuottrupThomas BakRoozbeh Izadi-ZamanabadiPublished in: ICRA (2004)
Keyphrases
- multi robot
- timed automata
- uncertain environments
- motion planning
- multiple robots
- path planning
- robot teams
- mobile robot
- multi robot systems
- reachability analysis
- model checking
- multi robot exploration
- search and rescue
- theorem prover
- theorem proving
- robotic systems
- initially unknown
- robot soccer
- potential field
- map building
- collision free
- multi robot cooperative
- multi agent
- real time systems
- action selection
- surveillance system
- first order logic