Gruenbacher, Sophie

1 publications

AAAI 2021 On the Verification of Neural ODEs with Stochastic Guarantees Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu