1
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-induc…