On the Verification of Neural ODEs with Stochastic Guarantees (bibtex)
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}
}
Powered by bibtexbrowser