Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems.
Philipp SchillingerMathias BürgerDimos V. DimarogonasPublished in: Int. J. Robotics Res. (2018)
Keyphrases
- temporal logic
- multi robot systems
- temporally extended goals
- multi robot
- model checking
- multiple robots
- multi robot task allocation
- modal logic
- mobile robot
- heuristic search
- linear temporal logic
- satisfiability problem
- path planning
- autonomous robots
- multi agent
- temporally extended
- symbolic model checking
- motion planning
- computation tree logic
- verification method
- belief revision
- temporal knowledge
- transition systems
- robotic systems
- bounded model checking
- reactive systems
- classical planning
- dynamic constraints
- formation control
- image sequences
- mazurkiewicz traces