| dc.contributor.author | Shen, Shen | |
| dc.contributor.author | Tedrake, Russ | |
| dc.date.accessioned | 2022-07-22T16:25:38Z | |
| dc.date.available | 2022-07-22T16:25:38Z | |
| dc.date.issued | 2020 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/143980 | |
| dc.language.iso | en | |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | en_US |
| dc.relation.isversionof | 10.1109/CDC42340.2020.9304028 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
| dc.source | MIT web domain | en_US |
| dc.title | Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems | en_US |
| dc.type | Article | en_US |
| dc.identifier.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). | |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
| dc.relation.journal | 2020 59th IEEE Conference on Decision and Control (CDC) | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dc.date.updated | 2022-07-22T16:18:59Z | |
| dspace.orderedauthors | Shen, S; Tedrake, R | en_US |
| dspace.date.submission | 2022-07-22T16:19:01Z | |
| mit.license | OPEN_ACCESS_POLICY | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
