1. Counterexamples in Probabilistic LTL Model Checking for Markov Chains

Schmalz, Matthias, Varacca, Daniele und Völzer, Hagen (2009)

Reports

2. Model checking almost all paths can be less expensive than checking all paths

Schmalz, Matthias, Völzer, Hagen und Varacca, Daniele

Reports