Talks

2 015

Machine Learning meets Formal Verification. Rostock University. Thursday, 5 March, 2015. PDF icon Bortolussi-Rostock-MLmeetsFV.pdf
 

2 014

Machine Learning meets Stochastic Model Checking. Invited talk at EPEW 2015, Florence, Italy.. Friday, 12 September, 2014. PDF icon Bortolussi-EPEW14-MLmeetsMC.pdf
 

2 013

Hybrid Modelling of Biological Systems. PhD program in Complex Systems, University of Torino. Wednesday, 13 March, 2013. PDF icon Bortolussi-Torino-Hybrid.pdf