Optimal path planning under temporal logic constraints.
Stephen L. SmithJana TumovaCalin BeltaDaniela RusPublished in: IROS (2010)
Keyphrases
- path planning
- temporal logic
- optimal path
- model checking
- mobile robot
- automata theoretic
- path planning algorithm
- collision avoidance
- dynamic constraints
- dynamic environments
- collision free
- multi robot
- modal logic
- dynamic and uncertain environments
- path planner
- verification method
- motion planning
- potential field
- robot path planning
- dead ends
- path finding
- degrees of freedom
- computation tree logic
- autonomous vehicles
- obstacle avoidance
- dynamic programming
- linear temporal logic
- optimal solution
- belief revision
- transition systems
- mazurkiewicz traces