Optimal Strategy Synthesis for Request-Response Games

Florian Horn, Wolfgang Thomas, Nico Wallmeier and Martin Zimmermann
PDF 
@article{HTWZ14,
  author    = {Florian Horn, Wolfgang Thomas, Nico Wallmeier and
               Martin Zimmermann},
  title     = {Optimal Strategy Synthesis for Request-Response Games},
  journal   = {CoRR},
  volume    = {abs/1406.4648},
  year      = {2014},
  ee        = {http://arxiv.org/abs/1406.4648},
  abstract  = {We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the mean accumulated waiting times between requests and their responses.}
}

We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the mean accumulated waiting times between requests and their responses.

Technical report arXiv:1406.4648 June 2014
Contact Data Privacy Policy Imprint
Home People Publications
More