| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Scheuchenstuhl, Daniel ; Ulmer, Stefan ; Resch, Felix ; Berducci, Luigi ; Grosu, Radu | Enhancing Robot Learning through Learned Human-Attention Feature Maps | Presentation Vortrag | 29-May-2023 |
| 2 | | Lopez-Miguel, Ignacio D. ; Fernández Adiego, Borja ; Ghawash, Faiq ; Blanco Vinuela, Enrique | Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example | Presentation Vortrag | 20-Apr-2023 |
| 3 | | Ádám, Zsófia ; Lopez Miguel, Ignacio David ; Mavridou, Anastasia ; Pressburger, Thomas ; Bęś, Marcin ; Blanco Viñuela, Enrique ; Katis, Andreas ; Tournier, Jean-Charles ; Trinh, Khanh V. ; Fernández Adiego, Borja | Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements | Report Bericht | Mar-2023 |
| 4 | | Vana Gür, Laura ; Visconti, Ennio ; Nenzi, Laura ; Cadonna, Annalisa ; Kastner, Georg | Posterior predictive model assessment using formal methods in a spatio-temporal model | Preprint Preprint | 3-Oct-2022 |
| 5 | | Bartocci, Ezio ; Kovacs, Laura ; Bura, Efstathia | ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs | Präsentation Presentation | 2020 |
| 6 | | Grosu, Radu ; Lukina, Anna ; Smolka, Scott A. ; Tiwari, Ashish ; Varadarajan, Vasudha ; Wang, Xingfang | V-Formation via Model Predictive Control | Preprint Preprint | 2020 |
| 7 | | Grünbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Ariful ; Smolka, Scott A. ; Grosu, Radu | Lagrangian Reachtubes: The Next Generation | Preprint Preprint | 2020 |
| 8 | | 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 |
| 9 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Learning Distributed Controllers for V-Formation | Preprint Preprint | 2020 |
| 10 | | Grosu, Radu | ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks | Preprint Preprint | 2020 |
| 11 | | Mehmood, Usama ; Stoller, Scott D. ; Grosu, Radu ; Roy, Shouvik ; Damare, Amol | A Distributed Simplex Architecture for Multi-Agent Systems | Preprint Preprint | 2020 |
| 12 | | Ghalebi, Elahe ; Mayhar, Hamidreza ; Grosu, Radu ; Taylor, Graham W. ; Williamson, Sinead A. | A Nonparametric Bayesian Model for Sparse Temporal Multigraphs | Preprint Preprint | 2019 |
| 13 | | Roy, Shouvik ; Mehmood, Usama ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Preprint Preprint | 2019 |
| 14 | | Phan, Dung ; Paoletti, Nicola ; Grosu, Radu ; Jansen, Nils ; Smolka, Scott A. ; Stoller, Scott D. | Neural Simplex Architecture | Preprint Preprint | 2019 |
| 15 | | Ghalebi, Elahe ; Mayhar, Hamidreza ; Grosu, Radu ; Taylor, Graham W. ; Williamson, Sinead A. | Sequential Edge Clustering in Temporal Multigraphs | Preprint Preprint | 2019 |
| 16 | | Hirsch, Christian ; Redl, Markus ; Grosu, Radu | Towards an Agricultural IoT-Infrastructure for Micro-climate Measurements | Präsentation Presentation | 2018 |
| 17 | | M. Hasani, Ramin ; Esterle, Lukas ; Grosu, Radu | Investigations on the Nervous System of Caenorhabditis elegans | Präsentation Presentation | 2016 |
| 18 | | Höftberger, Oliver | Report on the AMADEOS Workshop on Emergence in Cyber-Physical Systems-of-Systems (CPSoS) | Bericht Report | 2016 |
| 19 | | Prokesch, Daniel | Single-Path Code Generation for the Patmos Processor | Präsentation Presentation | 2015 |
| 20 | | Kloimüllner, Christian | A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems | Präsentation Presentation | 2015 |