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]
No references recorded for this publication.
No citations of this publication recorded.