Smolka, Scott A.

2 publications

AAAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu

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