LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

J. Liu, Y. Meng, M. Fitzsimmons, R. Zhou
May, 2024
PDF Cite Project
Type
Conference paper
Publication
In 2024 ACM International Conference on Hybrid Systems: Computation and Control (HSCC)