Author of the publication

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

, , , and . CoRR, (2024)