Benoît Barbot, Serge Haddad, Claudine Picaronny. Coupling and Importance Sampling for Statistical Model Checking.
Proceedings of the 18th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'12), 2012, Tallinn, Estonia. pp.331-346,
⟨10.1007/978-3-642-28756-5_23⟩.
⟨hal-00776795⟩