Coupling and Importance Sampling for Statistical Model Checking.

Benot Barbot, Serge Haddad, Claudine Picaronny

Browse the full TACAS paper archive.