Reduction Techniques for Model Checking Markov Decision Processes.

Frank Ciesinski Christel Baier Marcus Größer Joachim Klein Reduction Techniques for Model Checking Markov Decision Processes. 45-54 2008 QEST http://dx.doi.org/10.1109/QEST.2008.45 conf/qest/2008 db/conf/qest/qest2008.html#CiesinskiBGK08