Symbolic approximation of the bounded reachability probability in markov chains. (2014)

by M N Rabe, C M Wintersteiger, H Kugler, B Yordanov, Y Hamadi
Venue:In QEST, LNCS