Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongkai Dai, Benoit Landry, Marco Pavone, Russ Tedrake. Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. pages 1274-1281, IEEE, 2020. [doi]

This author has not been identified. Look up 'Hongkai Dai' in GoogleThis author has not been identified. Look up 'Benoit Landry' in GoogleThis author has not been identified. Look up 'Marco Pavone' in GoogleThis author has not been identified. Look up 'Russ Tedrake' in Google

runs on WebDSL