Lechner, M.; Žikelić, Đorđe; Chatterjee, K.; Henzinger, T. A. Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. AAAI 2022, 36, 7326-7336.