Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges

Kwiatkowska, M., Norman, G. , Parker, D., Santos, G. and Yang, R. (2022) Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges. In: 47th International Symposium on Mathematical Foundations of Computer Science, Vienna, Austria, 22-26 Aug 2022, p. 4. ISBN 9783959772563 (doi: 10.4230/LIPIcs.MFCS.2022.4)

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.

• 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).
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Norman, Dr Gethin
• Authors: Kwiatkowska, M., Norman, G., Parker, D., Santos, G., and Yang, R.
• College/School: College of Science and Engineering > School of Computing Science
• ISSN: 1868-8969
• ISBN: 9783959772563
• Copyright Holders: Copyright © 2022 The Authors
• First Published: First published in Proceedings of 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022): 4
• Publisher Policy: Reproduced under a Creative Commons License

Related URLs

• Organisation