@misc{indiciae5fe9f2486614,
  title = {CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions},
  author = {Manan Tayal and Aditya Singh and Pushpak Jagtap and Shishir Kolathaya},
  year = {2025},
  url = {https://arxiv.org/abs/2503.17395},
  note = {Source identifier: 2503.17395}
}