Multi-robot task planning and sequencing using the SAT-TSP language.
Frank ImesonStephen L. SmithPublished in: ICRA (2015)
Keyphrases
- multi robot
- uncertain environments
- motion planning
- multiple robots
- robot teams
- mobile robot
- path planning
- multi robot systems
- traveling salesman problem
- sat solving
- search and rescue
- multi robot exploration
- potential field
- robot soccer
- robotic systems
- coalitional game theory
- satisfiability problem
- heuristic search
- genetic algorithm
- classical planning
- degrees of freedom
- path finding
- search space
- multi robot cooperative
- collision free
- combinatorial optimization
- ant colony optimization
- np hard
- lower bound
- formation control
- optimal solution
- image sequences
- multi robot coordination
- sat solvers