Attraction-based receding horizon path planning with temporal logic constraints.
María SvorenováJana TumovaJiri BarnatIvana CernaPublished in: CDC (2012)
Keyphrases
- path planning
- temporal logic
- receding horizon
- model checking
- mobile robot
- collision avoidance
- formation control
- automata theoretic
- multi robot
- dynamic constraints
- path planning algorithm
- dynamic environments
- unmanned aerial vehicles
- indoor environments
- obstacle avoidance
- dynamic and uncertain environments
- motion planning
- autonomous navigation
- autonomous vehicles
- path finding
- multiple robots
- optimal path
- belief revision
- linear temporal logic
- verification method
- aerial vehicles
- optimal linear
- collision free
- air traffic control