TY  - RPRT
TI  - Neural Continuous-Time Supermartingale Certificates
AU  - Grigory Neustroev
AU  - Mirco Giacobbe
AU  - Anna Lukina
PY  - 2024
DO  - 10.1609/aaai.v39i26.34966
UR  - https://arxiv.org/abs/2412.17432
ID  - 2412.17432
ER  -