Neustroev, G., Giacobbe, M., & Lukina, A. Neural Continuous-Time Supermartingale Certificates [Computer software]. https://github.com/SUMI-lab/Neural-Continuous-Time-Supermartingale-Certificates