AIが解く世界の難問 · 計算機科学の理論 · arXiv · 2026-10-21
学習済みバリア証明書のanytime-validな実行時モニタリング
原題: Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
確率システムの安全性を保証する学習済みバリア証明書が、展開時に訓練時と異なるダイナミクスの下で妥当性を失い得る問題に対し、観測された閉ループ軌跡から証明書を監査するanytime-validな実行時モニタを提案した。バリアドリフト条件をエピソード単位の逐次仮説検定として定式化し、観測されたバリア増分を非負の検定スーパーマルチンゲールへ変換することで、任意の停止時刻における有限標本の誤警報制御を実現した。監視境界に時間的整形を施すことで展開期間の初期により保守的にしつつanytime-valid性を保ち、このモニタは安全証明書が観測されたダイナミクスと整合しなくなった統計的証拠の検出を目的としており、有効・無効な証明書の下で警報挙動を評価した。