Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
Primary LanguagePythonMIT LicenseMIT