Machine Learning meets Stochastic Model Checking

Location: 

Invited talk at EPEW 2015, Florence, Italy.

Date: 

Friday, 12 September, 2014

File: 

Bortolussi-EPEW14-MLmeetsMC.pdf