Path planning with probabilistic roadmaps and co-safe linear temporal logic.
Erion PlakuPublished in: IROS (2012)
Keyphrases
- path planning
- linear temporal logic
- mobile robot
- path planning algorithm
- temporal logic
- obstacle avoidance
- collision avoidance
- dynamic environments
- model checking
- multi robot
- dynamic and uncertain environments
- bounded model checking
- indoor environments
- autonomous navigation
- path finding
- autonomous vehicles
- potential field
- degrees of freedom
- motion planning
- aerial vehicles
- robot path planning
- path planner
- orders of magnitude
- multi agent
- optimal path
- multiple robots
- collision free
- unmanned aerial vehicles