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...
Hoofdauteurs: | , , , , |
---|---|
Formaat: | Conference item |
Taal: | English |
Gepubliceerd in: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|