/nfl_veripy

Formal Verification of Neural Feedback Loops (NFLs)

Primary LanguagePythonMIT LicenseMIT

Stargazers