Proofs of the Technical Results Justifying an Algorithm of Reactive 3D Navigation for a Surface Scan by a Nonholonomic Mobile Robot.
Alexey S. MatveevKirill S. OvchinnikovAndrey V. SavkinPublished in: CoRR (2016)
Keyphrases
- mobile robot
- obstacle avoidance
- path planning
- optimization algorithm
- indoor environments
- preprocessing
- dynamic environments
- k means
- learning algorithm
- dynamic programming
- search space
- computational complexity
- optimal solution
- matching algorithm
- similarity measure
- np hard
- cost function
- theorem prover
- genetic algorithm