Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Bibliographic Details
Main Authors: Dai, Hongkai, Landry, Benoit, Pavone, Marco, Tedrake, Russ
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE) 2022
Online Access:https://hdl.handle.net/1721.1/143976

Similar Items

Similar Items