2 papers
cs.GT2024
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…
cs.LO2023
Multi-Agent Verification and Control with Probabilistic Model Checking
David Parker
Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds…