提出潜空间安全过滤器可迁移性判据

1. 12:00
   arXiv cs.RO 机器人学

   有损编码器何时能给出可迁移的安全证书：Latent Safety Filters 分析

   研究给出有损编码器下 latent safety filter 安全证书可迁移到物理系统的判据：被丢弃的安全相关动力学的可检测性决定证书是否存在。构造出 latent 模型精确、latent 信号恒报安全而物理状态可任意不安全的系统，此时无证书存在且编码器下游监视器无法检测失效。

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。