@misc{indiciaeff4a4f262f33,
  title = {Optimization-based Verification of Discrete-time Control Barrier Functions: A Branch-and-Bound Approach},
  author = {Erfan Shakhesi and W. P. M. H. Heemels and Alexander Katriniok},
  year = {2024},
  doi = {10.1109/cdc56724.2024.10886703},
  url = {https://arxiv.org/abs/2409.15448},
  note = {Source identifier: 2409.15448}
}