@misc{https://doi.org/10.48550/arxiv.1804.00206,
doi = {10.48550/ARXIV.1804.00206},
url = {https://arxiv.org/abs/1804.00206},
author = {Chatterjee,
Krishnendu and Henzinger,
Monika and Loitzenbauer,
Veronika and Oraee,
Simin and Toman,
Viktor},
keywords = {Data Structures and Algorithms (cs.DS),
FOS: Computer and information sciences,
FOS: Computer and information sciences},
title = {Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives},
publisher = {arXiv},
year = {2018},
copyright = {arXiv.org perpetual,
non-exclusive license} }