Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
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 ob...
Zhi-Peng Cao, Tao-Ran Wu, Wei-Ru Cui et al.
· 0 citations