Approximate Probabilistic Model Checking.

Thomas Hrault, Richard Lassaigne, Frdric Magniette, Sylvain Peyronnet

Browse the full VMCAI paper archive.