114 citations · 127 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
Evaluation and Learning in Two-Player Symmetric Games via Best and Better Responses
Rui Yan, Weixian Zhang, Ruiliang Deng +3
Artificial intelligence and robotic competitions are accompanied by a class of game paradigms in which each player privately commits a strategy to a game system which simulates the…
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…