This repository contains the code for our paper: Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
Note that the current version of LyZNet is slightly different from the original version at https://git.uwaterloo.ca/hybrid-systems-lab/lyznet. Please use the one in this repo to reproduce the results in the paper.