Verification and Synthesis of Compatible Control Lyapunov and Control Barrier FunctionsHongkai Dai, Andrew Clark, Chuanrui Jiang et al.|Unknown|2024Cited by 4
Verification and Synthesis of Compatible Control Lyapunov and Control Barrier FunctionsHongkai Dai, Andrew Clark, Chuanrui Jiang et al.|arXiv (Cornell University)|2024Cited by 0
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