/neural-network-lyapunov

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

Primary LanguagePythonMIT LicenseMIT

Issues