Optimal Path Planning under Temporal Logic Constraints
Stephen L. SmithJana TumovaCalin BeltaDaniela RusPublished in: CoRR (2010)
Keyphrases
- path planning
- temporal logic
- optimal path
- model checking
- mobile robot
- collision avoidance
- dynamic constraints
- path planning algorithm
- obstacle avoidance
- modal logic
- automata theoretic
- multi robot
- dynamic environments
- motion planning
- path finding
- computation tree logic
- dead ends
- robot path planning
- potential field
- autonomous vehicles
- collision free
- trajectory planning
- aerial vehicles
- dynamic programming
- dynamic and uncertain environments
- multiple robots
- linear temporal logic
- path planner
- verification method
- optimal solution
- reactive systems
- search and rescue
- temporal knowledge
- mazurkiewicz traces
- multi agent systems
- temporally extended
- degrees of freedom