Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique)

Cyrille Jégourel. Rare event simulation for statistical model checking. (Simulation d'événements rares pour le model checking statistique). PhD thesis, University of Rennes 1, France, 2014. [doi]

Abstract

Abstract is missing.