Meet Your Expectations with Guarantees: Beyond Worst-Case Synthesis in Quantitative Games

October 15, 2017 in by

by Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin
Reference:
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin. Meet Your Expectations with Guarantees: Beyond Worst-Case Synthesis in Quantitative Games. In Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS’14), pages 199-213. Volume 25 of Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, March 2014.
Bibtex Entry:
@string{mar="March"}
@inproceedings{BFRR-stacs14,
  address =       {Lyon, France},
  author =        {Bruy{`e}re, V{'e}ronique and Filiot, Emmanuel and
                   Randour, Mickael and Raskin, Jean-Fran{c{c}}ois},
  booktitle =     {{P}roceedings of the 31st {S}ymposium on
                   {T}heoretical {A}spects of {C}omputer {S}cience
                   ({STACS}'14)},
  editor =        {Portier, Natacha and Mayr, Ernst W.},
  month =         mar,
  pages =         {199-213},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {Meet Your Expectations with Guarantees: Beyond
                   Worst-Case Synthesis in Quantitative Games},
  volume =        {25},
  year =          {2014},
  doi =           {10.4230/LIPIcs.STACS.2014.199},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BFRR-stacs14.pdf},
  category =      {conf},
  wps =           {wp1 and wp2},
  partners =      {UMONS and ULB},
  casstingpart =  {25},
}