学者提出任意时刻有效的学习型屏障证书运行时监测方法

Zhipeng Cao 等人针对学习屏障证书在部署期间有效性可能退化的问题，提出了一种任意时刻有效的运行时监测框架。该监测器利用观测闭环轨迹审计证书，在任意停止时间下实现有限样本误报控制。 在具体方法上，该监测器将条件屏障漂移公式化为逐回合序列假设检验，并将屏障增量转换为非负测试超鞅。通过结合确定性时间整形，使监测边界在部署初期更为保守。该设计旨在检测安全证书与观测动力学不一致的统计证据，而非预测不安全进入，代码与数据已公开。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。