PulseAugur
实时 15:34:55

通过新的共形预测方法验证机器人安全过滤器

研究人员开发了一种新方法来认证自主机器人与人类交互的安全性。该方法使用共形预测来确保高概率安全性,即使在处理机器人运行时推理和神经网络近似中的不确定性时也是如此。该技术将验证重点放在可靠的推理区域,与标准方法相比,允许使用更宽松的安全过滤器。在模拟的人机交互基准上进行测试,所提出的方法成功验证了一个更宽松的安全过滤器。 AI

影响 增强了交互式机器人的安全保证,有可能加速其在以人为中心的部署。

排序理由 该集群包含一篇学术论文,详细介绍了用于验证机器人安全的新算法方法。

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →

报道来源 [2]

  1. arXiv cs.AI TIER_1 English(EN) · Haimin Hu ·

    Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics

    arXiv:2606.02562v1 Announce Type: cross Abstract: Autonomous robots that interact with people must make safe and efficient decisions under human-induced uncertainty, such as their preferences, goals, competency, and willingness to cooperate. Safety filters are a popular approach …

  2. arXiv cs.AI TIER_1 English(EN) · Haimin Hu ·

    Permissive Safety Through Trusted Inference: Verifiable Belief-Space Neural Safety Filters for Assured Interactive Robotics

    Autonomous robots that interact with people must make safe and efficient decisions under human-induced uncertainty, such as their preferences, goals, competency, and willingness to cooperate. Safety filters are a popular approach for ensuring safety in interactive robotics, since…