Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach.

Marta Z. Kwiatkowska, Gethin Norman, David Parker

Browse the full TACAS paper archive.