Anytime-Valid Runtime Monitoring of Learned Barrier Certificates.

arXiv:2610.27726v1 Announce Type: cross Abstract: 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 use