D
2016
Stability in Graphs and Games
BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ
Základní údaje
Originální název
Stability in Graphs and Games
Vydání
Dagstuhl, 27th International Conference on Concurrency Theory, CONCUR 2016, od s. 1-14, 14 s. 2016
Nakladatel
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Další údaje
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
elektronická verze "online"
Kód RIV
RIV/00216224:14330/16:00088483
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
turn-based games; mean payoff; stability
Příznaky
Mezinárodní význam, Recenzováno
V originále
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.
Návaznosti
GA15-17564S, projekt VaV | Název: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů | Investor: Grantová agentura ČR, Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů |
|
Zobrazeno: 9. 11. 2024 05:55