@misc{indiciae646f85da7634,
  title = {Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions},
  author = {Erfan Shakhesi and Alexander Katriniok and W. P. M. H. Heemels},
  year = {2025},
  doi = {10.1109/lcsys.2025.3578971},
  url = {https://arxiv.org/abs/2506.13011},
  note = {Source identifier: 2506.13011}
}