M. Lechner, Đorđe Žikelić, K. Chatterjee, and T. A. Henzinger, “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales”, AAAI, vol. 36, no. 7, pp. 7326-7336, Jun. 2022.