G. Neustroev, M. Giacobbe, and A. Lukina, “Neural Continuous-Time Supermartingale Certificates”, AAAI, vol. 39, no. 26, pp. 27538-27546, Apr. 2025.