%0 Conference Paper %1 conf/cav/ChatterjeeHLOT18 %A Chatterjee, Krishnendu %A Henzinger, Monika %A Loitzenbauer, Veronika %A Oraee, Simin %A Toman, Viktor %B CAV (2) %D 2018 %E Chockler, Hana %E Weissenbacher, Georg %I Springer %K dblp %P 178-197 %T Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. %U http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#ChatterjeeHLOT18 %V 10982 %@ 978-3-319-96142-2

@inproceedings{conf/cav/ChatterjeeHLOT18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Chatterjee, Krishnendu and Henzinger, Monika and Loitzenbauer, Veronika and Oraee, Simin and Toman, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/2794e2cae78a342dc432c206794c2e79f/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2018-2}, editor = {Chockler, Hana and Weissenbacher, Georg}, ee = {https://doi.org/10.1007/978-3-319-96142-2_13}, interhash = {2d2344d06d91223eb534e38355123875}, intrahash = {794e2cae78a342dc432c206794c2e79f}, isbn = {978-3-319-96142-2}, keywords = {dblp}, pages = {178-197}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:55.000+0200}, title = {Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#ChatterjeeHLOT18}, volume = 10982, year = 2018 }