TY  - RPRT
TI  - Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives
AU  - Krishnendu Chatterjee
AU  - Monika Henzinger
AU  - Veronika Loitzenbauer
AU  - Simin Oraee
AU  - Viktor Toman
PY  - 2018
UR  - https://arxiv.org/abs/1804.00206
ID  - 1804.00206
ER  -