issues
search
StanfordASL
/
neural-network-lyapunov
Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.
MIT License
138
stars
29
forks
source link
Add solve_barrier_derivative_mip to Trainer
#440
Closed
hongkai-dai
closed
2 years ago
hongkai-dai
commented
2 years ago
This change is
This change is