TY  - RPRT
TI  - Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions
AU  - Erfan Shakhesi
AU  - Alexander Katriniok
AU  - W. P. M. H. Heemels
PY  - 2025
DO  - 10.1109/lcsys.2025.3578971
UR  - https://arxiv.org/abs/2506.13011
ID  - 2506.13011
ER  -