Optimal strategy synthesis for request-response games
Florian Horn, Wolfgang H Thomas, Nico Wallmeier, Martín Zimmermann · RAIRO - Theoretical Informatics and Applications · 2015
We show the existence and effective computability of optimal (even finite-state) 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.