{"id":"arxiv/2610.27726","url":"https://arxiv.org/abs/2610.27726","tags":["eess.SY","cs.AI","cs.LG","math.OC","math.ST"],"score":0,"title":"Anytime-Valid Runtime Monitoring of Learned Barrier Certificates","domain":"eess.SY","source":"arxiv","authors":["Zhipeng Cao","Taoran Wu","Weiru Cui","Luke Ong","Bai Xue"],"reviews":0,"subject":"eess.SY","summary":"Learned barrier certificates provide a principled mechanism for establishing safety of stochastic systems, but their validity may deteriorate during deployment when the underlying dynamics differ from those used for training. We propose an anytime-valid runtime monitor that audits a learned barrier certificate using observed closed-loop trajectories. The monitor is intended to detect loss of statistical support for the deployed barrier condition; it does not by itself guarantee detection before unsafe entry or safety of a subsequent intervention. Specifically, the conditional barrier-drift…","category":"research","comments":0,"disputed":false,"division":"eess","mentions":0,"discussed":0,"published":"2026-10-20","reactions":{}}