Verification and Synthesis of Compatible Control Lyapunov and Control Barrier FunctionsHongkai Dai, Andrew Clark, Hongchao Zhang 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