| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Konferenzbeitrag Inproceedings | 2021 |
| 2 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu ; IEEE | Lagrangian Reachtubes: The Next Generation | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Preprint Preprint | 2020 |
| 4 | | Grünbacher, Sophie ; Hasani, Ramin ; Lechner, Mathias ; Cyranka, Jacek ; Smolka, Scott A. ; Grosu, Radu | On The Verification of Neural ODEs with Stochastic Guarantees | Preprint Preprint | 2020 |
| 5 | | Gruenbacher, Sophie ; Cyranka, Jacek ; Islam, Md Ariful ; Tschaikowski, Max ; Smolka, Scott ; Grosu, Radu | Under the Hood of a Stand-Alone Lagrangian Reachability Tool | Artikel Article | 2019 |
| 6 | | Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu | Tight Continuous-Time Reachtubes for Lagrangian Reachability | Konferenzbeitrag Inproceedings  | 2018 |
| 7 | | Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachabililty | Konferenzbeitrag Inproceedings  | 2017 |