TY  - RPRT
TI  - Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
AU  - Nikolaus Vertovec
AU  - Frederik Baymler Mathiesen
AU  - Thom Badings
AU  - Luca Laurenti
AU  - Alessandro Abate
PY  - 2026
UR  - https://arxiv.org/abs/2511.06341
ID  - 2511.06341
ER  -