Yingke Chen, Thomas Dyhre Nielsen. Active Learning of Markov Decision Processes for System Verification. In 11th International Conference on Machine Learning and Applications, ICMLA, Boca Raton, FL, USA, December 12-15, 2012. Volume 2. pages 289-294, IEEE, 2012. [doi]