Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic VarietiesHongchao Zhang, Andrew Clark, Zhouchi Li et al.|Unknown|2023Cited by 4
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