Towards Learning and Verifying Maximal Neural Lyapunov Functions

J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou
December, 2023
PDF Cite Project DOI
Type
Conference paper
Publication
In 2023 IEEE Conference on Decision and Control (CDC)