Verification and Synthesis of Compatible Control Lyapunov and Multiple High-Order Control Barrier FunctionsChuanrui Jiang, Andrew Clark, Hongkai Dai|IEEE Transactions on Automatic Control|2026Cited by 0