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

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

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 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

DOI

http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10

Klíčová slova anglicky

turn-based games; mean payoff; stability

Štítky

core_A, firank_A, formela-conference

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 27. 4. 2017 07:04, RNDr. Pavel Šmerk, Ph.D.

Anotace

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