Optimal strategy synthesis for request-response gamesFlorian Horn, Wolfgang Thomas, Nico Wallmeier and Martin ZimmermannRAIRO-Theor. Inf. Appl., 49 3 (2015) 179-203DOI: https://doi.org/10.1051/ita/2015005
