Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Institute of Electrical and Electronics Engineers (IEEE),
2022-07-22T16:25:38Z.
|
Subjects: | |
Online Access: | Get fulltext |