Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
Austin JonesMac SchwagerCalin BeltaPublished in: CoRR (2013)
Keyphrases
- path planning
- temporal logic
- path planning algorithm
- multi robot
- mobile robot
- obstacle avoidance
- optimal path
- path finding
- dynamic programming
- multiple robots
- configuration space
- indoor environments
- motion planning
- verification method
- collision avoidance
- technical report
- np hard
- automata theoretic
- objective function
- vision system
- optimal solution