138 citations · 597 across the 30 of their papers we have counts for
4 papers · 1 filter
Finite-horizon Equilibria for Neuro-symbolic Concurrent Stochastic Games
Rui Yan, Gabriel Santos, Xiaoming Duan +2
We present novel techniques for neuro-symbolic concurrent stochastic games, a recently proposed modelling formalism to represent a set of probabilistic agents operating in a contin…
Correlated Equilibria and Fairness in Concurrent Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Game-theoretic techniques and equilibria analysis facilitate the design and verification of competitive systems. While algorithmic complexity of equilibria computation has been ext…
Strategic Analysis of Trust Models for User-Centric Networks
Marta Kwiatkowska, David Parker, Aistis Simaitis
We present a strategic analysis of a trust model that has recently been proposed for promoting cooperative behaviour in user-centric networks. The mechanism for cooperation is base…
Quantitative Games on Probabilistic Timed Automata
Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi
Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the controller, wh…