共 30 条
[4]
中国机器人伦理标准化前瞻[M]. 北京大学出版社 , 北京大学国家机器人标准化总体组, 2019
[5]
有序二叉决策图及应用[M]. 科学出版社 , 古天龙, 2009
[6]
软件开发的形式化方法[M]. 高等教育出版社 , 古天龙[著], 2005
[8]
Formal verification of ethical choices in autonomous systems[J] . Louise Dennis,Michael Fisher,Marija Slavkovik,Matt Webster.Robotics and Autonomous Systems . 2016