Talks

2 015

Machine Learning meets Formal Verification. Rostock University. Thursday, 5 March, 2015. PDF icon Bortolussi-Rostock-MLmeetsFV 3.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
 
A Statistical Approach for Computing Reachability of Non-Linear and Stochastic Dynamical Systems. PEPACLub, Edinburgh University, UK. Friday, 8 August, 2014. PDF icon PEPAclub-QEST2014.pdf
 
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. PEPA Club, Edinburgh University, UK.. Friday, 1 August, 2014. PDF icon PEPAclub-EPEW2014.pdf
 

2 013

Mean Field Approximation For Stochastic Model Checking. University of Venice. Wednesday, 29 May, 2013. PDF icon Bortolussi-2013-Venezia FMC.pdf
 
Hybrid Modelling of Biological Systems. PhD program in Complex Systems, University of Torino. Wednesday, 13 March, 2013. PDF icon Bortolussi-Torino-Hybrid.pdf
 
Learning and Designing stochastic processes from logical constraints. University of Torino. Tuesday, 12 March, 2013. PDF icon Bortolussi-Torino-Learning.pdf