Lechner, M., Đorđe Žikelić, K. Chatterjee, and T. A. Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, June 2022, pp. 7326-3, doi:10.1609/aaai.v36i7.20695.