Correlated Equilibria and Fairness in Concurrent Stochastic Games

Kwiatkowska, M., Norman, G. , Parker, D. and Santos, G. (2022) Correlated Equilibria and Fairness in Concurrent Stochastic Games. In: 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'22), Munich, Germany, 02-07 Apr 2022, pp. 60-78. ISBN 978-3-030-99527-0 (doi: 10.1007/978-3-030-99527-0_4)

[img] Text
264919.pdf - Published Version
Available under License Creative Commons Attribution.



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.

Item Type:Conference Proceedings
Additional Information:This project was funded by the ERC under the European Union’s Horizon 2020 research and innovation programme (FUN2MODEL, grant agreement No. 834115).
Glasgow Author(s) Enlighten ID:Norman, Dr Gethin
Authors: Kwiatkowska, M., Norman, G., Parker, D., and Santos, G.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2022 The Author(s)
First Published:First published in Tools and Algorithms for the Construction and Analysis of Systems: 60-78
Publisher Policy:Reproduced under a Creative Commons License
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record