Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems

Author(s)
Shen, Shen; Tedrake, Russ
Thumbnail
DownloadAccepted version (1.514Mb)
Open Access Policy
Terms of use
Creative Commons Attribution-Noncommercial-Share Alike http://creativecommons.org/licenses/by-nc-sa/4.0/
Metadata
Show full item record
Date issued
2020
URI
https://hdl.handle.net/1721.1/143980
Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science; Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Journal
2020 59th IEEE Conference on Decision and Control (CDC)
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Citation
Shen, Shen and Tedrake, Russ. 2020. "Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems." 2020 59th IEEE Conference on Decision and Control (CDC).
Version: Author's final manuscript
Collections