Counterexample-Guided Synthesis of Robust Discrete-Time Control Barrier Functions

Erfan Shakhesi, Alexander Katriniok, W. P. M. H. Heemels

Learning-based methods have gained popularity for training candidate Control Barrier Functions (CBFs) to satisfy the CBF conditions on a finite set of sampled states. However, sinc…