Output details
11 - Computer Science and Informatics
Royal Holloway, University of London
Cross-entropy optimisation of importance sampling parameters for statistical model checking
<07>This paper extends the concept of statistical model checking to rare events. The theory is relatively new and has triggered a new international workshop (SMC2013, http://rv2013.gforge.inria.fr/workshop.html) whose first proceedings will be published in the software tools for technology journal. A tool has been produced from the paper, Plasma (see https://project.inria.fr/plasma-lab/), with invited presentations at international workshops, including the MEALS at ETAPS 2013 and the Formal and Informal Methods for Correctness and Performance at NETSYS 2013. The paper was followed by another CAV publication in 2013: Cyrille Jégourel, Axel Legay, Sean Sedwards: Importance Splitting for Statistical Model Checking Rare Properties.