Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
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...
المؤلفون الرئيسيون: | , , , , |
---|---|
التنسيق: | Conference item |
اللغة: | English |
منشور في: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|