Hongkai Dai, Benoit Landry, Marco Pavone, Russ Tedrake. Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. pages 1274-1281, IEEE, 2020. [doi]
Abstract is missing.