Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains.

James Worrell Model Checking and Decision Procedures for Probabilistic Automata and Markov Chains. 322 2008 QEST http://dx.doi.org/10.1109/QEST.2008.54 conf/qest/2008 db/conf/qest/qest2008.html#Worrell08