Safety Verification for Robotics: A Review

Safety Verification for Robotics: A Review是一篇系统综述机器人系统安全验证技术的论文，涵盖形式化验证、可达性分析、障碍证书、控制屏障函数、运行时监控等多种安全验证方法。论文分析了安全验证在机器人操作、导航、人机协作等任务中的重要性，对比了不同方法的验证完备性、计算效率、适用场景，讨论了安全验证的可扩展性、实时性、实用性等关键问题。该论文适用于机器人安全研究者和工程师，帮助理解如何确保机器人系统的安全运行，来源机构为国际机器人安全研究社区。