Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 5 days 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: 2024-12-23T08:58:16.000Z (17 days ago)
- Last Synced: 2024-12-27T16:41:35.639Z (12 days ago)
- Topics: lyapunov-functions, neural-network, robotics, verification
- Language: Python
- Homepage:
- Size: 112 MB
- Stars: 146
- Watchers: 6
- Forks: 31
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- License: LICENSE