Optimal Strategy Synthesis for Request-Response Games

February 19, 2016 in by coordinator

by Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann
Reference:
Florian Horn, Wolfgang Thomas, Nico Wallmeier, Martin Zimmermann. Optimal Strategy Synthesis for Request-Response Games. In RAIRO — Theoretical Informatics and Applications 49(3):179-203. 2015.
Bibtex Entry:
@article{HTWZ-rairo49(3),
  author =        {Horn, Florian and Thomas, Wolfgang and
                   Wallmeier, Nico and Zimmermann, Martin},
  journal =       {RAIRO~-- Theoretical Informatics and Applications},
  number =        {3},
  pages =         {179-203},
  title =         {Optimal Strategy Synthesis for Request-Response
                   Games},
  volume =        {49},
  year =          {2015},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  HTWZ-corr14.pdf},
  category =      {jour},
  wps =           {wp2},
  partners =      {RWTH},
  casstingpart =  {50},
}