Recent talks

Here the talks that I recently gave.

Dagstuhl Seminar - January 23rd 2014 - Importance Splitting for Statistical Model Checking Properties

TU Wien Seminar - October 30th 2013 - Rare Event Simulation with Importance Splitting for Statistical Model Checking

SENSATION Project Meeting - October 10th 2013 - Rare Event Simulation for Statistical Model Checking

SMC'13 Workshop - September 23rd 2013 - Importance Splitting for Statistical Model Checking Properties

CAV'13 Conference - July 19th 2013 - Importance Splitting for Statistical Model Checking Properties

Stony Brook Seminar - April 16th 2013 - Importance Splitting for Statistical Model Checking Properties

CAV'12 Conference - July 11th 2012 - Cross-entropy optimisation of importance sampling parameters for statistical model checking