A receding horizon algorithm for informative path planning with temporal logic constraints.
Austin JonesMac SchwagerCalin BeltaPublished in: ICRA (2013)
Keyphrases
- path planning
- temporal logic
- optimal path
- obstacle avoidance
- multi robot
- mobile robot
- model checking
- path planning algorithm
- np hard
- verification method
- configuration space
- dynamic programming
- path finding
- automata theoretic
- optimal solution
- dynamic environments
- multi agent
- path planner
- search space
- collision free
- objective function