@article{Bruy_re_2014,
    doi = {10.4204/eptcs.146.1},
    url = {https://doi.org/10.4204%2Feptcs.146.1},
    year = {2014},
    month = {apr},
    publisher = {Open Publishing Association},
    volume = {146},
    pages = {1--8},
    author = {V{\'{e}}ronique Bruy{\`{e}}re and Emmanuel Filiot and Mickael Randour and Jean-Fran{\c{c}}ois Raskin},
    title = {Expectations or Guarantees? I Want It All! A crossroad between games and {MDPs}},
    journal = {Electronic Proceedings in Theoretical Computer Science}
}

@article{Bruy_re_2014, doi = {10.4204/eptcs.146.1}, url = {https://doi.org/10.4204%2Feptcs.146.1}, year = {2014}, month = {apr}, publisher = {Open Publishing Association}, volume = {146}, pages = {1--8}, author = {V{\'{e}}ronique Bruy{`{e}}re and Emmanuel Filiot and Mickael Randour and Jean-Fran{\c{c}}ois Raskin}, title = {Expectations or Guarantees? I Want It All! A crossroad between games and {MDPs}}, journal = {Electronic Proceedings in Theoretical Computer Science} }