@inproceedings{Bruyere:Filiot:Randour:Raskin:BWC:2014,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: two-player games on graphs, Markov decision processes, quantitative objectives, synthesis, worst-case and expected value, mean-payoff, shortest path},
    Author = {Bruy{\`e}re, V{\'e}ronique and Filiot, Emmanuel and Randour, Mickael and Raskin, Jean-Fran{\c{c}}ois},
    BookTitle = {Proc. of STACS'14},
    Editor = {Mayr, Ernst W. and Portier, Natacha},
    File = {Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (0) (0) - a - a - a.pdf},
    ISBN = {978-3-939897-65-1},
    ISSN = {1868-8969},
    Pages = {199--213},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Series = {Leibniz International Proceedings in Informatics (LIPIcs)},
    Title = {{Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4458},
    Volume = {25},
    Year = {2014},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2014/4458},
    bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2014.199},
    date-added = {2014-05-08 09:06:17 +0000},
    date-modified = {2015-01-16 12:50:38 +0000},
    urn = {urn:nbn:de:0030-drops-44589},
    doi = {10.4230/LIPIcs.STACS.2014.199}
}

@inproceedings{Bruyere:Filiot:Randour:Raskin:BWC:2014, Address = {Dagstuhl, Germany}, Annote = {Keywords: two-player games on graphs, Markov decision processes, quantitative objectives, synthesis, worst-case and expected value, mean-payoff, shortest path}, Author = {Bruy{`e}re, V{\'e}ronique and Filiot, Emmanuel and Randour, Mickael and Raskin, Jean-Fran{\c{c}}ois}, BookTitle = {Proc. of STACS'14}, Editor = {Mayr, Ernst W. and Portier, Natacha}, File = {Meet Your Expectations With Guarantees Beyond Worst-Case Synthesis in Quantitative Games - Bruyère, Filiot, Randour, Raskin (0) (0) - a - a - a.pdf}, ISBN = {978-3-939897-65-1}, ISSN = {1868-8969}, Pages = {199--213}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Series = {Leibniz International Proceedings in Informatics (LIPIcs)}, Title = {{Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4458}, Volume = {25}, Year = {2014}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2014/4458}, bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.STACS.2014.199}, date-added = {2014-05-08 09:06:17 +0000}, date-modified = {2015-01-16 12:50:38 +0000}, urn = {urn:nbn:de:0030-drops-44589}, doi = {10.4230/LIPIcs.STACS.2014.199} }