Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems | IEEE Conference Publication | IEEE Xplore