Formal verification of a collision-free algorithm of dual-arm robot in HOL4.

Liming Li Zhiping Shi Yong Guan Chunna Zhao Jie Zhang Hongxing Wei

Published in: ICRA (2014)

Keyphrases

path planning
collision free
dynamic programming
formal verification
multi robot
learning algorithm
obstacle avoidance
dynamic environments
vision system
linear programming
mobile robot
neural network
simulated annealing
motion planning
search space
search algorithm
robotic arm
path planner