Lyapunov-stable neural-network controlHongkai Dai, Russ Tedrake, Marco Pavone et al.|Unknown|2021Cited by 98
Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systemsHongkai Dai, Russ Tedrake, Benoit Landry et al.|Unknown|2020Cited by 41
SEAGuL: Sample Efficient Adversarially Guided Learning of Value Functions.Benoit Landry, Marco Pavone, Hongkai Dai|Unknown|2021Cited by 5
Lyapunov-stable neural-network controlHongkai Dai, Russ Tedrake, Marco Pavone et al.|arXiv (Cornell University)|2021Cited by 2