https://github.com/stanfordasl/neural-network-lyapunov

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
https://github.com/stanfordasl/neural-network-lyapunov

lyapunov-functions neural-network robotics verification

Last synced: about 1 month ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/stanfordasl/neural-network-lyapunov
• Owner: StanfordASL
• License: mit
• Created: 2019-09-23T22:16:31.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2025-03-24T19:25:58.000Z (about 2 months ago)
• Last Synced: 2025-03-28T20:06:15.028Z (about 2 months ago)
• Topics: lyapunov-functions, neural-network, robotics, verification
• Language: Python
• Homepage:
• Size: 111 MB
• Stars: 154
• Watchers: 5
• Forks: 32
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project