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


LEADER	00657 am a22001813u 4500
001	143976
042			\|a dc
100	1	0	\|a Dai, Hongkai \|e author
700	1	0	\|a Landry, Benoit \|e author
700	1	0	\|a Pavone, Marco \|e author
700	1	0	\|a Tedrake, Russ \|e author
245	0	0	\|a Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
260			\|b Institute of Electrical and Electronics Engineers (IEEE), \|c 2022-07-22T15:49:11Z.
856			\|z Get fulltext \|u https://hdl.handle.net/1721.1/143976
546			\|a en
655	7		\|a Article
773			\|t 10.1109/CDC42340.2020.9304201
773			\|t 2020 59th IEEE Conference on Decision and Control (CDC)

Similar Items