Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.

Sophie Laplante, Richard Lassaigne, Frdric Magniez, Sylvain Peyronnet, Michel de Rougemont

Browse the full LICS paper archive.