TY  - RPRT
TI  - Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
AU  - Hanjiang Hu
AU  - Yujie Yang
AU  - Tianhao Wei
AU  - Changliu Liu
PY  - 2024
UR  - https://arxiv.org/abs/2410.16281
ID  - 2410.16281
ER  -