@conference {367,
	title = {On Frequency {LTL} in Probabilistic Systems},
	booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015},
	year = {2015},
	doi = {10.4230/LIPIcs.CONCUR.2015.184},
	url = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.184},
	author = {Vojtech Forejt and Jan Kr{\v c}{\'a}l}
}