| dc.contributor.author | Dai, Hongkai | |
| dc.contributor.author | Landry, Benoit | |
| dc.contributor.author | Pavone, Marco | |
| dc.contributor.author | Tedrake, Russ | |
| dc.date.accessioned | 2022-07-22T15:49:11Z | |
| dc.date.available | 2022-07-22T15:49:11Z | |
| dc.date.issued | 2020 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/143976 | |
| dc.language.iso | en | |
| dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | en_US |
| dc.relation.isversionof | 10.1109/CDC42340.2020.9304201 | 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 | Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Dai, Hongkai, Landry, Benoit, Pavone, Marco and Tedrake, Russ. 2020. "Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems." 2020 59th IEEE Conference on Decision and Control (CDC). | |
| 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-22T15:46:09Z | |
| dspace.orderedauthors | Dai, H; Landry, B; Pavone, M; Tedrake, R | en_US |
| dspace.date.submission | 2022-07-22T15:46:11Z | |
| mit.license | OPEN_ACCESS_POLICY | |
| mit.metadata.status | Authority Work and Publication Information Needed | en_US |
