Neural Lyapunov Control for Discrete-Time Systems - Wu, Junlin; Clark, Andrew; Kantaros, Yiannis; Vorobeychik, Yevgeniy (Advances in Neural Information Processing Systems, 2023)