Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen. Learning Probabilistic Automata for Model Checking. In Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011. pages 111-120, IEEE Computer Society, 2011. [doi]
Abstract is missing.