TY  - RPRT
TI  - Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach
AU  - Erfan Shakhesi
AU  - W. P. M. H. Heemels
AU  - Alexander Katriniok
PY  - 2024
DO  - 10.1109/cdc56724.2024.10886703
UR  - https://arxiv.org/abs/2409.15448
ID  - 2409.15448
ER  -