Counterexamples in Probabilistic Model Checking.

Tingting Han, Joost-Pieter Katoen

Browse the full TACAS paper archive.