@inproceedings{CHH+13,
  author = {T. Chen and E. M. Hahn and T. Han and M. Kwiatkowska and H. Qu and L. Zhang},
  title = {Model Repair for Markov Decision Processes},
  booktitle = {Proc. 7th International Symposium on Theoretical Aspects of Software Engineering {(TASE)}},
  year      = {2013},
  pages     = {85--92},
  publisher = {IEEE CS Press},
  note = {}
}