Multi-objective search for optimal multi-robot planning with finite LTL specifications and resource constraints.
Philipp SchillingerMathias BürgerDimos V. DimarogonasPublished in: ICRA (2017)
Keyphrases
- multi robot
- resource constraints
- multi objective
- uncertain environments
- motion planning
- multiple robots
- classical planning
- path planning
- mobile robot
- resource constrained
- robot teams
- multi robot systems
- search algorithm
- evolutionary algorithm
- multi robot exploration
- planning problems
- bounded model checking
- resource availability
- initially unknown
- temporal constraints
- linear temporal logic
- heuristic search
- dynamic programming
- search and rescue
- real time
- temporal logic
- search strategies
- search space
- optimal solution
- multi robot cooperative
- routing problem
- search strategy
- search methods
- resource allocation
- tabu search
- video sequences
- genetic algorithm