Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking.

Cyrille Jgourel, Axel Legay, Sean Sedwards

Browse the full CAV paper archive.