3 citations · 4 across the 13 of their papers we have counts for
5 papers · 1 filter
Symbolic Verification and Strategy Synthesis for Turn-based Stochastic Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Stochastic games are a convenient formalism for modelling systems that comprise rational agents competing or collaborating within uncertain environments. Probabilistic model checki…
Probabilistic Model Checking for Strategic Equilibria-based Decision Making: Advances and Challenges
Marta Kwiatkowska, Gethin Norman, David Parker +2
Game-theoretic concepts have been extensively studied in economics to provide insight into competitive behaviour and strategic decision making. As computing systems increasingly in…
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…
Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
Rui Yan, Gabriel Santos, Gethin Norman +2
Neuro-symbolic approaches to artificial intelligence, which combine neural networks with classical symbolic techniques, are growing in prominence, necessitating formal approaches t…
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…