Safety-critical systems are all around us in the modern world, from autonomous cars to aerial systems. In recent years, Control Barrier Functions (CBFs) [1] have proven to be a versatile method for ...