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

Browse the full ICRA paper archive.