Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation.

Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala

Browse the full TACAS paper archive.