A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
机构 * Faculty of Science and Technology, Norwegian University Of Life Sciences (NMBU)(科学与技术学院,挪威生命科学大学) ; Department of Mechatronics, University of Agder (UiA)(机械电子系,阿格德大学) ; Department of Computer Science, University Of York, UK(计算机科学系,约克大学(英国))
专题命中 其他机器人 :robotic(title,comments);分类 cs.RO
Comments In Proc. of the 26th TAROS (Towards Autonomous Robotic Systems) Conference, York, UK, August, 2025