Informative path planning under temporal logic constraints with performance guarantees.
Kevin J. LeahyDerya AksarayCalin BeltaPublished in: ACC (2017)
Keyphrases
- path planning
- temporal logic
- model checking
- mobile robot
- automata theoretic
- dynamic constraints
- path planning algorithm
- collision avoidance
- multi robot
- dynamic environments
- obstacle avoidance
- satisfiability problem
- modal logic
- motion planning
- linear temporal logic
- potential field
- path finding
- dynamic and uncertain environments
- autonomous vehicles
- computation tree logic
- verification method
- temporal knowledge
- trajectory planning
- robot path planning
- optimal path
- bounded model checking
- navigation tasks
- path planner
- degrees of freedom
- domain independent
- mazurkiewicz traces
- belief revision
- unmanned aerial vehicles
- reactive systems
- aerial vehicles
- multiple robots
- collision free
- configuration space