Formalization of the inverse kinematics of three-fingered dexterous hand - Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi (Journal of logical and algebraic methods in programming, 2023)
Keywords: Cyber-physical system; Dexterous hand; Formal verification; Theorem proving; Cyber-physical system; Theorem proving; Dexterous hand; Formal verification