neu-autonomy / nfl_veripy
Formal Verification of Neural Feedback Loops (NFLs)
☆77Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for nfl_veripy
- ☆63Updated 9 months ago
- Learning Certified Control Using Contraction Metric (CoRL 2020)☆31Updated last year
- Code needed to reproduce the examples found in "Learning Control Barrier Functions from Expert Demonstrations," by A. Robey, H. Hu, L. Li…☆57Updated last year
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆139Updated 11 months ago
- ☆82Updated last year
- Learning Lyapunov functions and control policies of nonlinear dynamical systems☆119Updated 3 years ago
- A python library for control from Signal Temporal Logic (STL) specifications☆35Updated 2 years ago