Picture for David Parker

David Parker

University of Oxford

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Add code
Nov 18, 2024
Viaarxiv icon

Expectation vs. Reality: Towards Verification of Psychological Games

Add code
Nov 08, 2024
Viaarxiv icon

Learning Provably Robust Policies in Uncertain Parametric Environments

Add code
Aug 06, 2024
Figure 1 for Learning Provably Robust Policies in Uncertain Parametric Environments
Figure 2 for Learning Provably Robust Policies in Uncertain Parametric Environments
Figure 3 for Learning Provably Robust Policies in Uncertain Parametric Environments
Figure 4 for Learning Provably Robust Policies in Uncertain Parametric Environments
Viaarxiv icon

Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction

Add code
Apr 23, 2024
Viaarxiv icon

HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms

Add code
Apr 16, 2024
Figure 1 for HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Figure 2 for HSVI-based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms
Viaarxiv icon

Learning Algorithms for Verification of Markov Decision Processes

Add code
Mar 20, 2024
Figure 1 for Learning Algorithms for Verification of Markov Decision Processes
Figure 2 for Learning Algorithms for Verification of Markov Decision Processes
Figure 3 for Learning Algorithms for Verification of Markov Decision Processes
Figure 4 for Learning Algorithms for Verification of Markov Decision Processes
Viaarxiv icon

Partially Observable Stochastic Games with Neural Perception Mechanisms

Add code
Oct 17, 2023
Viaarxiv icon

Safe POMDP Online Planning via Shielding

Add code
Sep 19, 2023
Viaarxiv icon

Using Reed-Muller Codes for Classification with Rejection and Recovery

Add code
Sep 12, 2023
Viaarxiv icon

Multi-Agent Verification and Control with Probabilistic Model Checking

Add code
Aug 05, 2023
Viaarxiv icon