@misc{indiciae41ffe7b0ddef,
  title = {Controller synthesis for MDPs and Frequency LTL\$\textbackslash{}setminus\$GU},
  author = {Vojtěch Forejt and Jan Krčál and Jan Křetínský},
  year = {2015},
  url = {https://arxiv.org/abs/1509.04116},
  note = {Source identifier: 1509.04116}
}