Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei. Formal verification of a collision-free algorithm of dual-arm robot in HOL4. In 2014 IEEE International Conference on Robotics and Automation, ICRA 2014, Hong Kong, China, May 31 - June 7, 2014. pages 1380-1385, IEEE, 2014. [doi]
Abstract is missing.