TY  - RPRT
TI  - CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
AU  - Manan Tayal
AU  - Aditya Singh
AU  - Pushpak Jagtap
AU  - Shishir Kolathaya
PY  - 2025
UR  - https://arxiv.org/abs/2503.17395
ID  - 2503.17395
ER  -