Semantic Importance Sampling for Statistical Model Checking.

Jeffery P. Hansen, Lutz Wrage, Sagar Chaki, Dionisio de Niz, Mark H. Klein

Browse the full TACAS paper archive.