PyTorch implementation of Richards, Spencer M., Felix Berkenkamp, and Andreas Krause. "The lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems." Conference on Robot Learning. PMLR, 2018.
The original implementation in TensorFlow can be found here.