Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems
Hongkai Dai, Benoit Landry, Marco Pavone, Russ Tedrake
科研成果: 图书/报告稿件的类型 › 会议稿件
29
引用
（Scopus）