issues
search
StanfordASL
/
neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
MIT License
138
stars
29
forks
source link
Compute bounds for x_next in AutonomousReLUSystem.
#408
Closed
hongkai-dai
closed
2 years ago
hongkai-dai
commented
2 years ago
This change is
This change is