@conference {176,
	title = {Rewarding probabilistic hybrid automata},
	booktitle = {Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA},
	year = {2013},
	publisher = {ACM},
	organization = {ACM},
	isbn = {978-1-4503-1567-8},
	author = {Ernst Moritz Hahn and Holger Hermanns},
	editor = {Calin Belta and Franjo Ivancic}
}