On the Value Problem in Weighted Timed Games

December 11, 2017 in by

by Patricia Bouyer, Samy Jaziri, Nicolas Markey
Reference:
Patricia Bouyer, Samy Jaziri, Nicolas Markey. On the Value Problem in Weighted Timed Games. In Proceedings of the 26th International Conference on Concurrency Theory (CONCUR’15), pages 311-324. Volume 42 of Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, September 2015.
Bibtex Entry:
@string{sep="September"}
@inproceedings{BJM-concur15,
  address =       {Madrid, Spain},
  author =        {Bouyer, Patricia and Jaziri, Samy and
                   Markey, Nicolas},
  booktitle =     {{P}roceedings of the 26th {I}nternational
                   {C}onference on {C}oncurrency {T}heory ({CONCUR}'15)},
  editor =        {Aceto, Luca and de Frutos Escrig, David},
  month =         sep,
  pages =         {311-324},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {On the Value Problem in Weighted Timed Games},
  volume =        {42},
  year =          {2015},
  doi =           {10.4230/LIPIcs.CONCUR.2015.311},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  BJM-concur15.pdf},
  category =      {conf},
  wps =           {wp2},
  partners =      {CNRS},
  casstingpart =  {50},
}