Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints.
Alphan UlusoyStephen L. SmithXu Chu DingCalin BeltaDaniela RusPublished in: Int. J. Robotics Res. (2013)
Keyphrases
- temporal logic
- robot path planning
- model checking
- dynamic constraints
- automata theoretic
- modal logic
- satisfiability problem
- concurrent systems
- path planning
- verification method
- belief revision
- mazurkiewicz traces
- linear temporal logic
- international space station
- optimal solution
- path planner
- transition systems
- cellular automata
- reactive systems
- temporal knowledge
- formal specification language