@conference {379,
	title = {Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU},
	booktitle = {LPAR 2015},
	year = {In Press},
	author = {Vojtech Forejt and Jan Kr{\v c}{\'a}l and K{\v r}et{\'{\i}nsk{\`y}, Jan}
}