TY  - RPRT
TI  - Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations
AU  - Jun Zhang
AU  - Haibo Zhang
AU  - Chun Liu
AU  - Xiaofan Wang
AU  - Liang Xu
PY  - 2026
UR  - https://arxiv.org/abs/2605.07757
ID  - 2605.07757
ER  -