arXiv · cs.AI· Mirco Giacobbe·· 13 天前AI 评分32
Supermartingale 证书的运行时监控方法研究
Runtime Monitoring of Supermartingale Certificates
来源与原文
arXiv · cs.AI
作者：Mirco Giacobbe
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.19701v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者提出针对 supermartingale 证书的运行时监控问题：监控器观察单条系统轨迹，在执行中有足够统计证据表明证书被违反时发出警报。算法基于 betting-based sequential tests 自动构建监控器，将误报概率限制在用户指定水平，并利用空间规律性提升检测能力，在文献基准上验证了有效性。
来源：arXiv · cs.AI · arxiv.org