3 citations · 4 across the 13 of their papers we have counts for
5 papers · 1 filter
Expectation vs. Reality: Towards Verification of Psychological Games
Marta Kwiatkowska, Gethin Norman, David Parker +1
Game theory provides an effective way to model strategic interactions among rational agents. In the context of formal verification, these ideas can be used to produce guarantees on…
HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Rui Yan, Gabriel Santos, Gethin Norman +2
We consider a variant of continuous-state partially-observable stochastic games with neural perception mechanisms and an asymmetric information structure. One agent has partial inf…
Partially Observable Stochastic Games with Neural Perception Mechanisms
Rui Yan, Gabriel Santos, Gethin Norman +2
Stochastic games are a well established model for multi-agent sequential decision making under uncertainty. In practical applications, though, agents often have only partial observ…
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…