Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
María SvorenováJana TumovaJiri BarnatIvana CernaPublished in: CoRR (2012)
Keyphrases
- path planning
- temporal logic
- receding horizon
- formation control
- collision avoidance
- model checking
- unmanned aerial vehicles
- mobile robot
- automata theoretic
- multi robot
- dynamic constraints
- path planning algorithm
- dynamic environments
- obstacle avoidance
- verification method
- indoor environments
- motion planning
- path finding
- optimal path
- degrees of freedom
- linear temporal logic
- dynamic and uncertain environments
- multiple robots
- autonomous navigation
- aerial vehicles
- autonomous vehicles
- optimal linear
- temporal reasoning
- belief revision