On The Verification of Neural ODEs with Stochastic Guarantees

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gruenbacher, Sophie; Hasani, Ramin; Lechner, Mathias; Cyranka, Jacek; Smolka, Scott A.; Grosu, Radu

Journal title: Thirty-Fifth AAAI Conference on Artificial Intelligence

Journal number: 4

Journal publisher: AAAI

Published year: 2021