TY  - RPRT
TI  - Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems
AU  - Yonghan Li
AU  - Chenyu Wu
AU  - Taoran Wu
AU  - Shijie Wang
AU  - Bai Xue
PY  - 2026
UR  - https://arxiv.org/abs/2402.17167
ID  - 2402.17167
ER  -