Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula. - Shanyan Chen; Guohui Wang; Ximeng Li 003; Qianying Zhang; Zhi-Ping Shi 002; Yong Guan (Formal Aspects Comput., 2020)

Formalization of Robot Collision Detection Method based on Conformal Geometric Algebra. - Yingjie Wu; Guohui Wang; Shanyan Chen; Zhiping Shi 002; Yong Guan; Ximeng Li 003 (CoRR, 2023)

Formalization of the inverse kinematics of three-fingered dexterous hand. - Guohui Wang; Shanyan Chen; Yong Guan; Zhi-Ping Shi 002; Ximeng Li 003; Jingzhi Zhang (J. Log. Algebraic Methods Program., 2023)

Refinement Verification of OS Services based on a Verified Preemptive Microkernel. - Ximeng Li 003; Shanyan Chen; Yong Guan; Qianying Zhang; Guohui Wang; Zhiping Shi 002 (FASE, 2024)