Sophie Gruenbacher

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 6

Top Topics

Prize Collecting

Relaxation Algorithm

Biologically Inspired

Top Venues

ARCH@CPSIoTWeek

Publications

Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR (2021)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On the Verification of Neural ODEs with Stochastic Guarantees. AAAI (2021)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On The Verification of Neural ODEs with Stochastic Guarantees. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CDC (2020)
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek (2019)