1. H.L.S. Younes, D.J. Musliner, Probabilistic plan verification through acceptance sampling, in: Proceedings of the AIPS-02 Workshop on Planning via Model Checking, 2002, pp. 81–88
2. J. Heath, M. Kwiatkowska, G. Norman, D. Parker, O. Tymchyshun, Probabilistic model checking of complex biological pathways, in: Proc. International Conference on Computational Methods in Systems Biology, 2006
3. Minimizing shortfall risk and applications to finance and insurance problems;Pham;The Annals of Applied Probability,2002
4. Markov decision processes and regular events;Courcoubetis;IEEE Transaction on Automatic Control,1998
5. L. de Alfaro, Formal verification of probabilistic systems, PhD thesis, Tech. Rep. STAN-CS-TR-98-1601, Stanford University, Stanford, CA, 1997