Taolue Chen (), Ernst Moritz Hahn(), Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang: Model Repair for Markov Decision Processes. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE 2013, 1-3 July 2013, Birmingham, UK, pages 85-92, 2013. DOIBIB