Sophie Gruenbacher

According to our database, Sophie Gruenbacher authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

GoTube: Scalable Stochastic Verification of Continuous-Depth Models.

Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu

CoRR, 2021

On the Verification of Neural ODEs with Stochastic Guarantees.

Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Lagrangian Reachtubes: The Next Generation.

Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Under the Hood of a Stand-Alone Lagrangian Reachability Tool.

Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019