Formal Synthesis of Lyapunov Neural Networks

19 March 2020

Papers citing "Formal Synthesis of Lyapunov Neural Networks"

2 / 2 papers shown

Title
The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems Spencer M. Richards Felix Berkenkamp Andreas Krause 39 227 0 02 Aug 2018
Transverse Contraction Criteria for Existence, Stability, and Robustness of a Limit Cycle I. Manchester Jean-Jacques E. Slotine 53 90 0 20 Sep 2012