@misc{indiciae7c182f60e079,
  title = {Converse Barrier Certificates for Finite-time Safety Verification of Continuous-time Perturbed Deterministic Systems},
  author = {Yonghan Li and Chenyu Wu and Taoran Wu and Shijie Wang and Bai Xue},
  year = {2026},
  url = {https://arxiv.org/abs/2402.17167},
  note = {Source identifier: 2402.17167}
}