factor out output_gradient_times_vector_w_bounds.

StanfordASL / neural-network-lyapunov

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

MIT License

138 stars 29 forks source link

Closed hongkai-dai closed 2 years ago

hongkai-dai commented 2 years ago

This function will be used later when we verify continuous time system with a tighter bounds.

This change is