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
Identifier
- DOI: 10.1051/ita/2015005
- RWTH PUBLICATIONS: RWTH-2016-09844