Neustroev, Grigory, Mirco Giacobbe, and Anna Lukina. “Neural Continuous-Time Supermartingale Certificates”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 26 (April 11, 2025): 27538-27546. Accessed May 4, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/34966.