Almost Surely Stable Deep Dynamics - Lawrence, Nathan; Loewen, Philip; Forbes, Michael; Backstrom, Johan; Gopaluni, Bhushan (Advances in Neural Information Processing Systems, 2020)