Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees - Zhou, Ruikun; Quartz, Thanin; De Sterck, Hans; Liu, Jun (Advances in Neural Information Processing Systems, 2022)