David Henriques, João Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke. Statistical Model Checking for Markov Decision Processes. In Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012. pages 84-93, IEEE Computer Society, 2012. [doi]
Abstract is missing.