D 2016

Stability in Graphs and Games

BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA and Petr NOVOTNÝ

Basic information

Original name

Stability in Graphs and Games

Authors

BRÁZDIL, Tomáš (203 Czech Republic, belonging to the institution), Vojtěch FOREJT (203 Czech Republic, belonging to the institution), Antonín KUČERA (203 Czech Republic, guarantor, belonging to the institution) and Petr NOVOTNÝ (203 Czech Republic)

Edition

Dagstuhl, 27th International Conference on Concurrency Theory, CONCUR 2016, p. 1-14, 14 pp. 2016

Publisher

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

RIV identification code

RIV/00216224:14330/16:00088483

Organization unit

Faculty of Informatics

ISBN

978-3-95977-017-0

ISSN

Keywords in English

turn-based games; mean payoff; stability

Tags

International impact, Reviewed
Změněno: 27/4/2017 07:04, RNDr. Pavel Šmerk, Ph.D.

Abstract

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.

Links

GA15-17564S, research and development project
Name: Teorie her jako prostředek pro formální analýzu a verifikaci počítačových systémů
Investor: Czech Science Foundation