Gruenbacher, Sophie A.

1 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