用于操作执行轨迹安全的 LTL_f 监视器
仅看任务成功率,不适合作为家庭场景操作策略的发布门槛。部署评估可以在执行轨迹上加入 LTL_f 监视器,并报告 success-and-safe、success-but-unsafe、违规类别和不安全状态暴露。SafeManip 说明了这个需求:在 50 个 RoboCasa365 任务上,pi_0.5 相比 pi_0 将任务成功率从 8.1% 提高到 9.3%,但安全违规率也从 69.7% 升到 82.8%。
一个可先落地的版本是执行轨迹记录器:记录接触、物体位姿、夹爪状态、固定装置状态和任务事件,然后把这些信号绑定到任务特定检查,例如 Collision、StableGrasp、Sanitized、Contained 和 FixOpen。厨房机器人和家用机器人团队可以在模型选择和回归测试中使用这些输出,尤其是污染、释放稳定性和固定装置访问任务,因为不安全行为可能发生在最终状态看起来正确之前。