@misc{indiciae4d9f5f4ac5bb,
  title = {Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation},
  author = {Hanjiang Hu and Yujie Yang and Tianhao Wei and Changliu Liu},
  year = {2024},
  url = {https://arxiv.org/abs/2410.16281},
  note = {Source identifier: 2410.16281}
}