Optimal strategy synthesis for request-response games

Horn, Florian (Corresponding author); Thomas, Wolfgang (Corresponding author); Wallmeier, Nico (Corresponding author); Zimmermann, Martin (Corresponding author)

Les Ulis : EDP Sciences (2015)
Journal Article

In: RAIRO / Theoretical informatics and applications
Volume: 49
Issue: 3
Page(s)/Article-Nr.: 179-203