Abstract
Game-theoretic concepts have been extensively studied in economics to provide insight into competitive behaviour and strategic decision making. As computing systems increasingly involve concurrently acting autonomous agents, game-theoretic approaches are becoming widespread in computer science as a faithful modelling abstraction. These techniques can be used to reason about the competitive or collaborative behaviour of multiple rational agents with distinct goals or objectives. This paper provides an overview of recent advances in developing a modelling, verification and strategy synthesis framework for concurrent stochastic games implemented in the probabilistic model checker PRISM-games. This is based on a temporal logic that supports finite- and infinite-horizon temporal properties in both a zero-sum and nonzero-sum setting, the latter using Nash and correlated equilibria with respect to two optimality criteria, social welfare and social fairness. We summarise the key concepts, logics and algorithms and the currently available tool support. Future challenges and recent progress in adapting the framework and algorithmic solutions to continuous environments and neural networks are also outlined.
Original language | English |
---|---|
Title of host publication | 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) |
Editors | Stefan Szeider, Robert Ganian, Alexandra Silva |
Place of Publication | Dagstuhl, Germany |
Publisher | Schloss Dagstuhl |
Number of pages | 22 |
Volume | 241 |
ISBN (Electronic) | 978-3-95977-256-3 |
DOIs | |
Publication status | Published - 22 Aug 2022 |
Event | 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) - Vienna, Austria Duration: 22 Aug 2022 → 26 Sept 2022 https://www.ac.tuwien.ac.at/mfcs2022/ |
Publication series
Name | Leibniz International Proceedings in Informatics |
---|---|
Publisher | Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik |
ISSN (Electronic) | 1868-8969 |
Conference
Conference | 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) |
---|---|
Country/Territory | Austria |
City | Vienna |
Period | 22/08/22 → 26/09/22 |
Internet address |
Keywords
- Probabilistic model checking
- equilibria
- stochastic games
ASJC Scopus subject areas
- Software