@inproceedings{f2c4b65d15264513ae7e88fb92e2ab14,
title = "Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems",
author = "Hongkai Dai and Benoit Landry and Marco Pavone and Russ Tedrake",
note = "Publisher Copyright: {\textcopyright} 2020 IEEE.; 59th IEEE Conference on Decision and Control, CDC 2020 ; Conference date: 14-12-2020 Through 18-12-2020",
year = "2020",
month = dec,
day = "14",
doi = "10.1109/CDC42340.2020.9304201",
language = "English",
series = "Proceedings of the IEEE Conference on Decision and Control",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1274--1281",
booktitle = "2020 59th IEEE Conference on Decision and Control, CDC 2020",
address = "United States",
}