4 citations · 16 across the 15 of their papers we have counts for
21 papers
Probabilistic Model Checking: Applications and Trends
Marta Kwiatkowska, Gethin Norman, David Parker
Probabilistic model checking is an approach to the formal modelling and analysis of stochastic systems. Over the past twenty five years, the number of different formalisms and tech…
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…
Point-Based Value Iteration for POMDPs with Neural Perception Mechanisms
Rui Yan, Gabriel Santos, Gethin Norman +2
The increasing trend to integrate neural networks and conventional software components in safety-critical settings calls for methodologies for their formal modelling, verification…
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…