Counterexamples in Probabilistic LTL Model Checking for Markov Chains.

Matthias Schmalz, Daniele Varacca, Hagen Vlzer

Browse the full CONCUR paper archive.