/guaranteed-nn-control

Library allowing to prove the correctness of Neural Network based controllers in Dynamical Systems

Primary LanguagePythonMIT LicenseMIT

Stargazers

No one’s star this repository yet.