Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties | IEEE Conference Publication | IEEE Xplore