Stability in graphs and games Conference Paper


Author(s): Brázdil, Tomáš; Forejt, Vojtěch; Kučera, Antonín; Novotný, Petr
Title: Stability in graphs and games
Title Series: LIPIcs
Affiliation IST Austria
Abstract: 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.
Conference Title: CONCUR: Concurrency Theory
Volume: 59
Conference Dates: August 23 - 26, 2016
Conference Location: Québec City, Canada
ISBN: 978-3-95977-017-0
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik  
Date Published: 2016-01-01
Start Page: 10:1
End Page: 10:14
Copyright Statement: CC BY
URL:
DOI: 10.4230/LIPIcs.CONCUR.2016.10
Notes: The work has been supported by the Czech Science Foundation, grant No. 15-17564S, by EPSRC grant EP/M023656/1, and by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no [291734]
Open access: yes (OA journal)
IST Austria Authors
Related IST Austria Work