Session details: Advanced tutorials: Parametric verification by machine learning