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

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kwiatkowska, M, Norman, G, Parker, D, Santos, G, Yan, R
التنسيق: Conference item
اللغة:English
منشور في: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022