3 citations · 4 across the 13 of their papers we have counts for
3 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…
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Shili Sheng, Pian Yu, David Parker +2
Online planning for partially observable Markov decision processes (POMDPs) provides efficient techniques for robot decision-making under uncertainty. However, existing methods fal…