@conference {357,
	title = {Optimal Continuous Time Markov Decisions},
	booktitle = {ATVA 2015},
	year = {In Press},
	url = {http://arxiv.org/abs/1507.02876},
	author = {Yuliya Butkova and Hassan Hatefi and Holger Hermanns and Jan Kr{\v c}{\'a}l}
}