Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version).
Rodrigo F. AraujoAlexandre RibeiroIury Valente de BessaLucas C. CordeiroJoão Edgar Chaves FilhoPublished in: CoRR (2017)
Keyphrases
- path planning
- mobile robot
- obstacle avoidance
- dynamic environments
- path planning algorithm
- collision avoidance
- multi robot
- indoor environments
- path planner
- motion planning
- potential field
- autonomous navigation
- optimal path
- autonomous vehicles
- multiple robots
- unknown environments
- autonomous robots
- degrees of freedom
- mobile robotics
- search and rescue
- path finding
- aerial vehicles
- landmark recognition
- trajectory planning
- navigation tasks
- model checking
- robot path planning
- dynamic and uncertain environments