Statistical Verification of Probabilistic Properties with Unbounded Until - Formal Methods: Foundations and Applications - page 160

24. Younes, H.L.S.: Ymer: A statistical model checker. In: Etessami, K.,
Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 429-433. Springer,
Heidelberg (2005)
25. Younes, H.L.S.: Error control for probabilistic model checking. In: Emerson, E.A.,
Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol. 3855, pp. 142-156. Springer,
Heidelberg (2005)
26. Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with
a focus on time-bounded properties. Information and Computation 204(9),
1368-1409 (2006)
27. Zapreev, I.S.: Model checking Markov chains: Techniques and tools. PhD thesis,
University of Twente (2008)