Sophie A. Gruenbacher

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Statistical Approaches

Highly Scalable

Maximum Likelihood

Top Venues

Publications

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