Abstract: Control Barrier Functions (CBFs) have been proposed as an efficient tool for safe control design. Given an initial set, a safe set and system dynamics, designing a candidate CBF is known to ...