Symbolic computation of maximal probabilistic reachability (2001)

by M Z Kwiatkowska, G Norman, J Sproston
Venue:In Proceedings of the 12th International Conference on Concurrency Theory, CONCUR ’01