Formal verification of a collision-free algorithm of dual-arm robot in HOL4 | IEEE Conference Publication | IEEE Xplore