Name Card

Full name Familienname, Vorname
Sanguinetti, Guido
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš ; Milios, Dimitrios ; Sanguinetti, Guido Policy learning in Continuous-Time Markov Decision Processes using Gaussian ProcessesArtikel Article Nov-2017
2Bartocci, 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 AscentKonferenzbeitrag Inproceedings 2016
3Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido System Design of Stochastic Models using Robustness of Temporal PropertiesArtikel Article 2015
4Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal LogicKonferenzbeitrag Inproceedings 2015
5Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido Data-Driven Statistical Learning of Temporal Logic PropertiesKonferenzbeitrag Inproceedings 2014
6Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care PatientsKonferenzbeitrag Inproceedings2014
7Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013