Parker, David

6 publications

L4DC 2024 HSVI-Based Online Minimax Strategies for Partially Observable Stochastic Games with Neural Perception Mechanisms Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska

JAIR 2023 Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen

UAI 2022 Finite-Horizon Equilibria for Neuro-Symbolic Concurrent Stochastic Games Rui Yan, Gabriel Santos, Xiaoming Duan, David Parker, Marta Kwiatkowska

AAAI 2022 Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise Thom S. Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga

IJCAI 2021 Verifying Reinforcement Learning up to Infinity Edoardo Bacci, Mirco Giacobbe, David Parker

IJCAI 2015 Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications Bruno Lacerda, David Parker, Nick Hawes