Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi 0002, Yong Guan, Ximeng Li 0003. Formalization of robot collision detection method based on conformal geometric algebra. Formal Methods in System Design, 67(3):255-281, December 2025. [doi]
Abstract is missing.