TY  - RPRT
TI  - Anytime-Valid Runtime Monitoring of Learned Barrier Certificates
AU  - Zhipeng Cao
AU  - Taoran Wu
AU  - Weiru Cui
AU  - Luke Ong
AU  - Bai Xue
PY  - 2026
UR  - https://arxiv.org/abs/2610.27726
ID  - 2610.27726
ER  -