@inbook{Chatterjee_2018,
title={Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives},
ISBN={9783319961422},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-319-96142-2_13},
DOI={10.1007/978-3-319-96142-2_13},
booktitle={Computer Aided Verification},
publisher={Springer International Publishing},
author={Chatterjee,
Krishnendu and Henzinger,
Monika and Loitzenbauer,
Veronika and Oraee,
Simin and Toman,
Viktor},
year={2018},
pages={178–197} }