@conference {410,
	title = {A Greedy Approach for the Efficient Repair of Stochastic Models},
	booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-17524-9_21},
	url = {http://dx.doi.org/10.1007/978-3-319-17524-9_21},
	author = {Shashank Pathak and Erika {\'A}brah{\'a}m and Nils Jansen and Armando Tacchella and Joost-Pieter Katoen},
	editor = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi}
}