Counterexample guided inductive optimization applied to mobile robots path planning.
Rodrigo F. AraujoAlexandre RibeiroIury Valente de BessaLucas C. CordeiroJoão Edgar Chaves FilhoPublished in: LARS/SBR (2017)
Keyphrases
- path planning
- mobile robot
- obstacle avoidance
- collision avoidance
- dynamic environments
- multi robot
- motion planning
- multiple robots
- path planning algorithm
- path planner
- indoor environments
- optimal path
- path finding
- navigation tasks
- unknown environments
- potential field
- aerial vehicles
- robot path planning
- landmark recognition
- trajectory planning
- dynamic and uncertain environments
- autonomous vehicles
- mobile robotics
- robotic systems
- degrees of freedom
- global optimization
- optimization problems
- autonomous navigation
- robot control
- collision free
- autonomous robots
- model checking
- dead ends