超鞅证明的运行时监控

预印本摘要称，研究者提出了针对超鞅证明（supermartingale certificates）的运行时监控方法，通过观察单一系统轨迹，在有充分统计证据表明执行期间证书被违反时发出警报。该研究给出了利用基于下注的序贯检验自动构建监控器的算法，将误报概率严格限制在用户指定水平内，并能利用空间正则性提高检测能力。作者在文献中的超鞅证明基准上验证了该方法的有效性。