|
| | Preview | Author(s) | Title | Type | Issue Date |
| 101 | | Bartocci, Ezio ; Bloem, Roderick ; Maderbacher, Benedikt ; Manjunath, Niveditha ; Ničković, Dejan | Adaptive Testing for Specification Coverage in CPS Models | Konferenzbeitrag Inproceedings | 2021 |
| 102 | | Bartocci, Ezio ; Deshmukh, Jyotirmoy ; Gigler, Felix ; Mateis, Cristinel ; Nickovic, Dejan ; Qin, Xin | Mining Shape Expressions from Positive Examples | Artikel Article  | Nov-2020 |
| 103 |  | 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 |
| 104 |  | 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 |
| 105 | | Xu, Xiaojian ; Zhao, Zhuangzhuang ; Xu, Xiaobin ; Yang, Jianbo ; Chang, Leilei ; Yan, Xinping ; Wang, Guodong | Machine learning-based wear fault diagnosis for marine diesel engine by fusing multiple data-driven models | Artikel Article | 29-Feb-2020 |
| 106 | | Shmarov, Fedor ; Soudjani, Sadegh ; Paoletti, Nicola ; Bartocci, Ezio ; Lin, Shan ; Smolka, Scott A. ; Zuliani, Paolo | Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems | Artikel Article | 2020 |
| 107 | | Phan, Dung ; Grosu, Radu ; Jansen, Nils ; Paoletti, Nicola ; Smolka, Scott A. ; Stoller, Scott D. | Neural simplex architecture | Konferenzbeitrag Inproceedings | 2020 |
| 108 | | Zapridou, Eleni ; Bartocci, Ezio ; Katsaros, Panagiotis | Runtime Verification of Autonomous Driving Systems in CARLA | Konferenzbeitrag Inproceedings | 2020 |
| 109 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Mora - Automatic Generation of Moment-Based Invariants | Konferenzbeitrag Inproceedings | 2020 |
| 110 | | Bartocci, Ezio ; Kovács, Laura ; Stankovič, Miroslav | Analysis of Bayesian Networks via Prob-Solvable Loops | Konferenzbeitrag Inproceedings | 2020 |
| 111 | | Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Probabilistic Hyperproperties with Nondeterminism | Konferenzbeitrag Inproceedings | 2020 |
| 112 | | 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 |
| 113 | | Abraham, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo ; Dobe, Oyendrila | Parameter Synthesis for Probabilistic Hyperproperties | Konferenzbeitrag Inproceedings | 2020 |
| 114 | | Meiyi, Ma ; Bartocci, Ezio ; Stankovic, John ; Feng, Lu | Predictive monitoring with uncertainty for deep learning enabled smart cities | Konferenzbeitrag Inproceedings | 2020 |
| 115 | | Platzer, Michael ; Puschner, Peter | An Instruction Filter for Time-Predictable Code Execution on Standard Processors | Konferenzbeitrag Inproceedings | 2020 |
| 116 | | Hasani, Ramin ; Lechner, Mathias ; Amini, Alexander ; Rus, Daniela ; Grosu, Radu | A Natural Lottery Ticket Winner: Reinforcement Learning with Ordinary Neural Circuits | Konferenzbeitrag Inproceedings | 2020 |
| 117 | | Bartocci, Ezio ; Kovacs, Laura ; Bura, Efstathia | ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs | Präsentation Presentation | 2020 |
| 118 | | Mehmood, Usama ; Roy, Shouvik ; Grosu, Radu ; Smolka, Scott A. ; Stoller, Scott D. ; Tiwari, Ashish | Neural Flocking: MPC-based Supervised Learning of Flocking Controllers | Konferenzbeitrag Inproceedings | 2020 |
| 119 | | Xu, Xiaobin ; Yu, Zhuochen ; Zeng, Jiusun ; Xiong, Wanqi ; Hu, Yanzhu ; Wang, Guodong | A Bayesian Belief-Rule-Based Inference Multivariate Alarm System for Nonlinear Time-Varying Processes | Artikel Article | 2020 |
| 120 | | Lechner, Mathias ; Hasani, Ramin ; Amini, Alexander ; Henzinger, Thomas A. ; Rus, Daniela ; Grosu, Radu | Neural Circuit Policies Enabling Auditable Autonomy | Artikel Article | 2020 |
