Publications

Export 4 results:
Type [ Year(Asc)]
Filters: Keyword is System Design  [Clear All Filters]
2015
Bortolussi L, Milios D, Sanguinetti G.  2015.  Machine Learning Methods in Statistical Model Checking and System Design-Tutorial. Runtime Verification (RV). 9333:323–341. (581.65 KB)
Bartocci E, Bortolussi L, Milios D, Nenzi L, Sanguinetti G.  2015.  Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172. (1.1 MB)
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2015.  System design of stochastic models using robustness of temporal properties. Theoretical Computer Science. 587:3-25. (1.49 MB)
2003
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G.  2003.  On the Robustness of Temporal Properties for Stochastic Models. 2nd International Workshop on Hybrid Systems and Biology, HSB 2013. 125:3-19. (1.3 MB)