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...

Szczegółowa specyfikacja

Opis bibliograficzny
Główni autorzy: Kwiatkowska, M, Norman, G, Parker, D, Santos, G, Yan, R
Format: Conference item
Język:English
Wydane: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022