Koopman-based Neural Lyapunov functions for general attractors. - Shankar A. Deka; Alonso M. Valle; Claire J. Tomlin (CDC, 2022)