研究者提出基于下注序贯检验的超鞅凭证运行时监控算法

研究者提出了一种针对超鞅凭证的运行时监控算法，可通过基于下注的序贯检验自动构建监控器，并在基准测试中验证了其有效性。 该方法通过观察单条系统轨迹运行，在有充分统计证据表明执行期间凭证被违反时发出警报。监控器能将误报概率严格限制在用户指定的水平内，并可利用空间正则性提升违规检测能力。

AI 根据报道生成 · 46 分钟前更新

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