ZHANG Shan-Qiang
Information Engineering College, Capital Normal University, Beijing 100048, ChinaZHANG Jing-Zhi
Information Engineering College, Capital Normal University, Beijing 100048, ChinaSHI Zhi-Ping
Information Engineering College, Capital Normal University, Beijing 100048, China;Beijing Key Laboratory of Electronic System Reliability Technology (Capital Normal University), Beijing 100048, ChinaWANG Guo-Hui
Information Engineering College, Capital Normal University, Beijing 100048, China;Beijing Key Laboratory of Electronic System Reliability Technology (Capital Normal University), Beijing 100048, ChinaGUAN Yong
Information Engineering College, Capital Normal University, Beijing 100048, China;Beijing Key Laboratory of Light Industrial Robots and Safety Verification (Capital Normal University), Beijing 100048, ChinaTP311
张善强,张景芝,施智平,王国辉,关永.单球驱动平衡机器人运动学和动力学形式化验证.软件学报,2025,36(8):1-15
Copy