by Sophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
Reference:
On the Verification of Neural ODEs with Stochastic GuaranteesSophie Gruenbacher, Ramin Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu GrosuAAAI21. 35th AAAI Conference on Artificial Intelligence, Virtual, Feb 2-9, 2021, 2021.
Bibtex Entry:
@inproceedings{conf/AAAI/gruenbacherAAAI21,
author={Sophie Gruenbacher and
Ramin Hasani and
Mathias Lechner and
Jacek Cyranka and
Scott A. Smolka and
Radu Grosu},
title={On the Verification of Neural ODEs with Stochastic Guarantees},
booktitle = {{AAAI21.} 35th AAAI Conference on Artificial Intelligence, Virtual,
Feb 2-9, 2021},
year={2021},
url = {https://arxiv.org/pdf/2012.08863}
}