Hongchao Zhang, Zhouchi Li, Hongkai Dai, Andrew Clark 0001. Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties. In 62nd IEEE Conference on Decision and Control, CDC 2023, Singapore, December 13-15, 2023. pages 5384-5391, IEEE, 2023. [doi]
Abstract is missing.