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 (Author), Landry, Benoit (Author), Pavone, Marco (Author), Tedrake, Russ (Author)
Format: Article
Language:English
Published: Institute of Electrical and Electronics Engineers (IEEE), 2022-07-22T15:49:11Z.
Subjects:
Article
Online Access:Get fulltext

Similar Items

Similar Items