Under the Hood of a Stand-Alone Lagrangian Reachability Tool. - Sophie Gruenbacher; Jacek Cyranka; Md. Ariful Islam; Max Tschaikowski; Scott A. Smolka; Radu Grosu (ARCH@CPSIoTWeek, 2019)

Lagrangian Reachtubes: The Next Generation. - Sophie Gruenbacher; Jacek Cyranka; Mathias Lechner; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (CDC, 2020)

On the Verification of Neural ODEs with Stochastic Guarantees. - Sophie Gruenbacher; Ramin M. Hasani; Mathias Lechner; Jacek Cyranka; Scott A. Smolka; Radu Grosu (AAAI, 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)

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, 2022)