TY  - RPRT
TI  - LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
AU  - Jun Liu
AU  - Yiming Meng
AU  - Maxwell Fitzsimmons
AU  - Ruikun Zhou
PY  - 2024
UR  - https://arxiv.org/abs/2403.10013
ID  - 2403.10013
ER  -