Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions. - Hongkai Dai; Chuanrui Jiang; Hongchao Zhang; Andrew Clark 001 (CDC, 2024)