|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš ; Milios, Dimitrios ; Sanguinetti, Guido | Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes | Artikel Article  | Nov-2017 |
| 2 | | 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 |
| 3 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido | System Design of Stochastic Models using Robustness of Temporal Properties | Artikel Article | 2015 |
| 4 | | Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido | Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic | Konferenzbeitrag Inproceedings | 2015 |
| 5 | | Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido | Data-Driven Statistical Learning of Temporal Logic Properties | Konferenzbeitrag Inproceedings | 2014 |
| 6 | | 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 |
| 7 | | Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido | On the Robustness of Temporal Properties for Stochastic Models | Konferenzbeitrag Inproceedings | 2013 |
