@InProceedings{CHH+13,
author={Taolue Chen and Ernst Moritz Hahn and Tingting Han and Marta Kwiatkowska and Hongyang Qu and Lijun Zhang},
title={Model Repair for {Markov} Decision Processes},
booktitle={Proc. 7th International Symposium on Theoretical Aspects of Software Engineering (TASE'13)},
year={2013},

editor={},
pages={85--92},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}