LECHNER, M.; ŽIKELIĆ, Đorđe; CHATTERJEE, K.; HENZINGER, T. A. Stability Verification in Stochastic Control Systems via Neural Network Supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 36, n. 7, p. 7326-7336, 2022. DOI: 10.1609/aaai.v36i7.20695. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/20695. Acesso em: 1 sep. 2024.