提出超鞅证书的运行时监控方法

Mirco Giacobbe 等在论文中形式化了超鞅证书的运行时监控问题：监测器只观察单条系统轨迹，当有充分统计证据表明证书在执行中被违反时报警，以应对证书依赖数学模型带来的 sim-to-real 落差。 作者提出用下注式序贯检验自动构造监测器的算法，把误报概率的上界控制在用户指定的水平，并在该框架下设计利用空间正则性提升检测能力的策略，同时保留统计保证；方法在文献中的超鞅证书基准上验证了效果。

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

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