Geodesic
Optimal strategy synthesis for request-response games
Horn, Florian1  ; Thomas, Wolfgang2  ; Wallmeier, Nico2 ; Zimmermann, Martin3
1 LIAFA, Université Denis Diderot - Paris 7, 75205 Paris cedex 13, France.
2 Lehrstuhl für Informatik 7, RWTH Aachen University, 52056 Aachen, Germany.
3 Reactive Systems Group, Saarland University, 66123 Saarbrücken, Germany.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 49 (2015) no. 3, pp. 179-203

Voir la notice de l'article provenant de la source Numdam

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.

Reçu le :
Accepté le :
DOI : 10.1051/ita/2015005
Classification : 68Q45
Keywords: Request-response games, optimal strategies, mean-payoff games

Horn, Florian 1 ; Thomas, Wolfgang 2 ; Wallmeier, Nico 2 ; Zimmermann, Martin 3

1 LIAFA, Université Denis Diderot - Paris 7, 75205 Paris cedex 13, France.
2 Lehrstuhl für Informatik 7, RWTH Aachen University, 52056 Aachen, Germany.
3 Reactive Systems Group, Saarland University, 66123 Saarbrücken, Germany. 
@article{ITA_2015__49_3_179_0,
     author = {Horn, Florian and Thomas, Wolfgang and Wallmeier, Nico and Zimmermann, Martin},
     title = {Optimal strategy synthesis for request-response games},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {179--203},
     publisher = {EDP-Sciences},
     volume = {49},
     number = {3},
     year = {2015},
     doi = {10.1051/ita/2015005},
     mrnumber = {3434598},
     zbl = {1347.68206},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita/2015005/}
}
TY  - JOUR
AU  - Horn, Florian
AU  - Thomas, Wolfgang
AU  - Wallmeier, Nico
AU  - Zimmermann, Martin
TI  - Optimal strategy synthesis for request-response games
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2015
SP  - 179
EP  - 203
VL  - 49
IS  - 3
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita/2015005/
DO  - 10.1051/ita/2015005
LA  - en
ID  - ITA_2015__49_3_179_0
ER  - 
%0 Journal Article
%A Horn, Florian
%A Thomas, Wolfgang
%A Wallmeier, Nico
%A Zimmermann, Martin
%T Optimal strategy synthesis for request-response games
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2015
%P 179-203
%V 49
%N 3
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita/2015005/
%R 10.1051/ita/2015005
%G en
%F ITA_2015__49_3_179_0
Horn, Florian; Thomas, Wolfgang; Wallmeier, Nico; Zimmermann, Martin. Optimal strategy synthesis for request-response games. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 49 (2015) no. 3, pp. 179-203. doi: 10.1051/ita/2015005

Cité par Sources :