@misc{indiciae0f51d4bf868e,
  title = {Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives},
  author = {Krishnendu Chatterjee and Monika Henzinger and Veronika Loitzenbauer and Simin Oraee and Viktor Toman},
  year = {2018},
  url = {https://arxiv.org/abs/1804.00206},
  note = {Source identifier: 1804.00206}
}