使用语义潜在表示在不同规格下基于视觉的运行时监控

arXiv:2605.13923v1 公告类型：新 摘要：我们研究了通过部分可观测性下的视觉观察对过去时间信号时序逻辑（ptSTL）进行认证的运行时监控。监视器必须从图像中推断出与安全相关的量并提供有限样本保证，同时可重用：一旦经过训练和校准，它应该验证目标片段中的任何公式，而无需针对每个公式进行重新训练。对于由时间原子的有限字典引起的片段，我们证明 \emph{语义基础}（原子鲁棒性分数的向量）是单调、1-Lipschitz 可重用接口类中的最小预测目标：任何公式都由从解析树派生的确定性解码器进行评估，并且单个共形校准通道可以证明整个片段没有联合边界。我们还引入了一个 \emph{滚动预测监视器}，它仅预测当前谓词值并在线重建时间历史；这更容易学习，但从长远来看会变得保守。在行人十字路口基准测试中，滚动在短视野内实现了更严格的认证界限，而语义基础监控器在长视野内则达到了 4 倍的严格程度。我们根据现实世界的 Waymo 驾驶数据验证了所提出的监视器，其中两个监视器都根据经验满足保形覆盖保证。