BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-293051, author = {Gr{\"u}nbacher, Sophie and Hasani, Ramin and Lechner, Mathias and Cyranka, Jacek and Smolka, Scott A. and Grosu, Radu}, title = {On The Verification of Neural ODEs with Stochastic Guarantees}, journal = {ArXiv}, year = {2020}, volume = {.}, numpages = {12}, url = {https://publik.tuwien.ac.at/files/publik_293051.pdf} } 1 Datensatz ausgegeben