穿刺机器人运动安全性的形式化分析与建模

穿刺机器人运动安全性的形式化分析与建模

孙浩然1，2，施智平1，2，3，关永1，3，王瑞2，3

Analysis and formal modeling of puncturing robot’s sports safety

SUN Haoran1，2, SHI Zhiping1，2，3, GUAN Yong1，3, WANG Rui2，3

计算机工程与应用 . 2018, (18): 263 -270 . DOI: 10.3778/j.issn.1002-8331.1705-0343