BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ. Stability in Graphs and Games. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. s. 1-14, 14 s. ISBN 978-3-95977-017-0. doi:10.4230/LIPIcs.CONCUR.2016.10.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Stability in Graphs and Games
Autoři BRÁZDIL, Tomáš (203 Česká republika, domácí), Vojtěch FOREJT (203 Česká republika, domácí), Antonín KUČERA (203 Česká republika, garant, domácí) a Petr NOVOTNÝ (203 Česká republika).
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
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Německo
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
ISBN 978-3-95977-017-0
ISSN 1868-8969
Doi http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10
Klíčová slova anglicky turn-based games; mean payoff; stability
Štítky firank_A, formela-conference
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:04.
Anotace
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 VaVNázev: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Investor: Grantová agentura ČR, Standardní projekty
VytisknoutZobrazeno: 23. 10. 2019 00:05