@misc{indiciae8b6b8e6a3f45, title = {Neural Continuous-Time Supermartingale Certificates}, author = {Grigory Neustroev and Mirco Giacobbe and Anna Lukina}, year = {2024}, doi = {10.1609/aaai.v39i26.34966}, url = {https://arxiv.org/abs/2412.17432}, note = {Source identifier: 2412.17432} }