|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Nenzi, Laura ; Bartocci, E. ; Bortolussi, Luca ; Loreti, Michele | A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems | Article Artikel  | 2022 |
| 2 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone ; Nenzi, Laura | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio | Monitoring Spatio-Temporal Properties (Invited Tutorial) | Konferenzbeitrag Inproceedings | 2020 |
| 4 | | Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca | Signal Convolution Logic | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca | A Robust Genetic Algorithm for Learning Temporal Specifications from Data | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Bartocci, Ezio ; Bortolussi, Luca ; Brazdil, Tomas ; Milos, Dimitrios ; Sanguinetti, Guido | Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes | Artikel Article | 2017 |
| 7 | | Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura | Monitoring mobile and spatially distributed cyber-physical systems | Konferenzbeitrag Inproceedings | 2017 |
| 8 | | Bartocci, Ezio ; Bortolussi, Luca ; Brazdil, Tomas ; Milos, Dimitrios ; Sanguinetti, Guido | Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent | Konferenzbeitrag Inproceedings | 2016 |
| 9 | | Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido | Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido | System Design of Stochastic Models using Robustness of Temporal Properties | Artikel Article | 2015 |
| 11 | | Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca | Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients | Konferenzbeitrag Inproceedings | 2014 |
| 12 | | Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido | Data-Driven Statistical Learning of Temporal Logic Properties | Konferenzbeitrag Inproceedings | 2014 |
| 13 | | Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. | Hybrid Systems and Biology | Artikel Article | 2014 |
| 14 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura | A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits | Konferenzbeitrag Inproceedings | 2013 |
| 15 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido | On the Robustness of Temporal Properties for Stochastic Models | Konferenzbeitrag Inproceedings | 2013 |
