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