Name Card

Full name Familienname, Vorname
Bortolussi, Luca
 

Own Publications Eigene Publikationen

Results 1-15 of 15 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Nenzi, Laura ; Bartocci, E. ; Bortolussi, Luca ; Loreti, Michele A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical SystemsArticle Artikel 2022
2Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura ; Silvetti, Simone MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal PropertiesKonferenzbeitrag Inproceedings2020
3Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Visconti, Ennio Monitoring Spatio-Temporal Properties (Invited Tutorial)Konferenzbeitrag Inproceedings2020
4Silvetti, Simone ; Nenzi, Laura ; Bartocci, Ezio ; Bortolussi, Luca Signal Convolution LogicKonferenzbeitrag Inproceedings 2018
5Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca A Robust Genetic Algorithm for Learning Temporal Specifications from DataKonferenzbeitrag Inproceedings 2018
6Bartocci, Ezio ; Bortolussi, Luca ; Brázdil, Tomáš ; Milios, Dimitrios ; Sanguinetti, Guido Policy learning in Continuous-Time Markov Decision Processes using Gaussian ProcessesArtikel Article Nov-2017
7Bartocci, Ezio ; Bortolussi, Luca ; Loreti, Michele ; Nenzi, Laura Monitoring mobile and spatially distributed cyber-physical systemsKonferenzbeitrag Inproceedings2017
8Bartocci, 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
9Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido System Design of Stochastic Models using Robustness of Temporal PropertiesArtikel Article 2015
10Bartocci, Ezio ; Bortolussi, Luca ; Milos, Dimitrios ; Nenzi, Laura ; Sanguinetti, Guido Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal LogicKonferenzbeitrag Inproceedings 2015
11Bartocci, Ezio ; Bortolussi, Luca ; Smolka, Scott A. Hybrid Systems and BiologyArtikel Article2014
12Bartocci, Ezio ; Bortolussi, Luca ; Sanguinetti, Guido Data-Driven Statistical Learning of Temporal Logic PropertiesKonferenzbeitrag Inproceedings 2014
13Bufo, Sara ; Bartocci, Ezio ; Sanguinetti, Guido ; Borelli, Massimo ; Lucangelo, Umberto ; Bortolussi, Luca Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care PatientsKonferenzbeitrag Inproceedings2014
14Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura A Temporal Logic Approach to Modular Design of Synthetic Biological CircuitsKonferenzbeitrag Inproceedings 2013
15Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

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

PreviewEditor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Bortolussi, Luca Proceedings First International Workshop on Hybrid Systems and BiologyKonferenzband Proceedings2012