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...
Główni autorzy: | , , , , |
---|---|
Format: | Conference item |
Język: | English |
Wydane: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2022
|