Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{1366038, author = {Brázdil, Tomáš and Forejt, Vojtěch and Kučera, Antonín and Novotný, Petr}, address = {Dagstuhl}, booktitle = {27th International Conference on Concurrency Theory, CONCUR 2016}, doi = {http://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10}, editor = {Josee Desharnais, Radha Jagadeesan}, keywords = {turn-based games; mean payoff; stability}, howpublished = {elektronická verze "online"}, language = {eng}, location = {Dagstuhl}, isbn = {978-3-95977-017-0}, pages = {1-14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, title = {Stability in Graphs and Games}, year = {2016} }
TY - JOUR ID - 1366038 AU - Brázdil, Tomáš - Forejt, Vojtěch - Kučera, Antonín - Novotný, Petr PY - 2016 TI - Stability in Graphs and Games PB - Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik CY - Dagstuhl SN - 9783959770170 KW - turn-based games KW - mean payoff KW - stability N2 - 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. ER -
BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ. Stability in Graphs and Games. Online. In Josee Desharnais, Radha Jagadeesan. \textit{27th International Conference on Concurrency Theory, CONCUR 2016}. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, s.~1-14. ISBN~978-3-95977-017-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.
|