Symbolic Computation of Maximal Probabilistic Reachability.

Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston

Browse the full CONCUR paper archive.