| | Preview | Author(s) | Title | Type | Issue Date |
| 61 | | 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 |
| 62 | | Freiberger, Felix ; Schupp, Stefan ; Hermanns, Holger ; Ábrahám, Erika | Controller verification meets controller code : a case study | Konferenzbeitrag Inproceedings | 2021 |
| 63 | | Roy, Shouvik ; Usama, Muhammad ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. | Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding | Konferenzbeitrag Inproceedings | 2021 |
| 64 | | Kyriakakis, Eleftherios ; Sparso, Jens ; Puschner, Peter ; Schoeberl, Martin | Synchronizing Real-Time Tasks in Time-Triggered Networks | Konferenzbeitrag Inproceedings | 2021 |
| 65 | | Platzer, Michael ; Puschner, Peter | Vicuna: A Timing-Predictable RISC-V Vector Coprocessor for Scalable Parallel Computation | Konferenzbeitrag Inproceedings | 2021 |
| 66 | | Mohammadinejad, Sara ; Deshmukh, Jyotirmoy V. ; Nenzi, Laura | Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems | Konferenzbeitrag Inproceedings | 2021 |
| 67 | | Platzer, Michael ; Puschner, Peter | A Processor Extension for Time-Predictable Code Execution | Konferenzbeitrag Inproceedings | 2021 |
| 68 | | Neufeld, Emery ; Bartocci, Ezio ; Ciabattoni, Agata ; Governatori, Guido | A Normative Supervisor for Reinforcement Learning Agents | Konferenzbeitrag Inproceedings | 2021 |
| 69 | | Alsalehi, Suhail ; Mehdipour, Noushin ; Bartocci, Ezio ; Belta, Calin | Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications | Konferenzbeitrag Inproceedings | 2021 |
| 70 | | Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo | HyperProb: A Model Checker for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2021 |
| 71 | | Lechner, Mathias ; Hasani, Ramin ; Grosu, Radu ; Rus, Daniela ; Henzinger, Thomas A. | Adversarial Training is Not Ready for Robot Learning | Konferenzbeitrag Inproceedings | 2021 |
| 72 | | Lechner, Mathias ; Hasani, Ramin ; Rus, Daniela ; Grosu, Radu | Gershgorin Loss Stabilizes the Recurrent Neural Network Compartment of an End-to-end Robot Learning Scheme | Inproceedings Konferenzbeitrag | 31-Aug-2020 |
| 73 | | Hasani, Ramin ; Lechner, Mathias ; Amini, Alexander ; Rus, Daniela ; Grosu, Radu | The Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits | Inproceedings Konferenzbeitrag | 31-Jul-2020 |
| 74 | | Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. | Neural simplex architecture | Konferenzbeitrag Inproceedings | 2020 |
| 75 | | Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis | Runtime Verification of Autonomous Driving Systems in CARLA | Konferenzbeitrag Inproceedings | 2020 |
| 76 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Mora - Automatic Generation of Moment-Based Invariants | Konferenzbeitrag Inproceedings | 2020 |
| 77 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Analysis of Bayesian Networks via Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2020 |
| 78 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 79 | | Meiyi, Ma ; Bartocci, Ezio ; Lifland, Eli ; Stankovic, John ; Feng, Lu | SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities | Konferenzbeitrag Inproceedings | 2020 |
| 80 | | Bartocci, Ezio ; Manjunath, Niveditha ; Mariani, Leonardo ; Mateis, Cristinel ; Ničković, Dejan ; Pastore, Fabrizio | CPSDebug: a tool for explanation of failures in cyber-physical systems | Konferenzbeitrag Inproceedings | 2020 |