Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1366038,
author = {Brázdil, Tomáš and Forejt, Vojtěch and Kučera, Antonín and Novotný, Petr},
address = {Dagstuhl},
booktitle = {27th International Conference on Concurrency Theory, CONCUR 2016},
doi = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10},
editor = {Josee Desharnais, Radha Jagadeesan},
keywords = {turn-based games; mean payoff; stability},
howpublished = {elektronická verze "online"},
language = {eng},
location = {Dagstuhl},
isbn = {978-3-95977-017-0},
pages = {1-14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
title = {Stability in Graphs and Games},
year = {2016}
}
TY - JOUR
ID - 1366038
AU - Brázdil, Tomáš - Forejt, Vojtěch - Kučera, Antonín - Novotný, Petr
PY - 2016
TI - Stability in Graphs and Games
PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
CY - Dagstuhl
SN - 9783959770170
KW - turn-based games
KW - mean payoff
KW - stability
N2 - We study graphs and two-player games in which rewards are assigned to states, and the goal of the players is to satisfy or dissatisfy certain property of the generated outcome, given as a mean payoff property. Since the notion of mean-payoff does not reflect possible fluctuations from the mean-payoff along a run, we propose definitions and algorithms for capturing the stability of the system, and give algorithms for deciding if a given mean payoff and stability objective can be ensured in the system.
ER -
BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA and Petr NOVOTNÝ. Stability in Graphs and Games. In Josee Desharnais, Radha Jagadeesan. \textit{27th International Conference on Concurrency Theory, CONCUR 2016}. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. p.~1-14. ISBN~978-3-95977-017-0. doi:10.4230/LIPIcs.CONCUR.2016.10. 2016.
|
