Correlated equilibria and fairness in concurrent stochastic games

Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Downloads (Pure)

Abstract

Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been extensively studied, practical implementation and application of game-theoretic methods is more recent. Tools such as PRISM-games support automated verification and synthesis of zero-sum and (ε-optimal subgame-perfect) social welfare Nash equilibria properties for concurrent stochastic games. However, these methods become inefficient as the number of agents grows and may also generate equilibria that yield significant variations in the outcomes for individual agents. We extend the functionality of PRISM-games to support correlated equilibria, in which players can coordinate through public signals, and introduce a novel optimality criterion of social fairness, which can be applied to both Nash and correlated equilibria. We show that correlated equilibria are easier to compute, are more equitable, and can also improve joint outcomes. We implement algorithms for both normal form games and the more complex case of multi-player concurrent stochastic games with temporal logic specifications. On a range of case studies, we demonstrate the benefits of our methods.
Original languageEnglish
Title of host publicationTACAS 2022
Subtitle of host publicationTools and Algorithms for the Construction and Analysis of Systems
EditorsD. Fisman, G. Rosu
PublisherSpringer
Pages60–78
ISBN (Electronic)9783030995270
ISBN (Print)9783030995263
DOIs
Publication statusPublished - 30 Mar 2022
Event28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Munich, Germany
Duration: 2 Apr 20227 Apr 2022

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Number13244
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Abbreviated titleTACAS 2022
Country/TerritoryGermany
CityMunich
Period2/04/227/04/22

Fingerprint

Dive into the research topics of 'Correlated equilibria and fairness in concurrent stochastic games'. Together they form a unique fingerprint.

Cite this