David Parker
6 papers · 2015–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (4) π Academic Marathon (9) π Cross-Pollinator (14)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(14)
Conferences
AAAI (2)
IJCAI (2)
L4DC (1)
UAI (1)
Top co-authors
Keywords
neural network
(2)
stochastic game
(2)
robust optimization
(1)
game theory
(1)
formal verification
(1)
belief state
(1)
linear programming
(1)
minimax strategy
(1)
partially observable
(1)
dynamical system
(1)
robust markov decision process
(1)
safety verification
(1)
robust control
(1)
autonomous system
(1)
interval markov decision process
(1)
probabilistic guarantee
(1)
heuristic search value iteration
(1)
abstract interpretation
(1)
reach set
(1)
non-gaussian noise
(1)
Papers
Efficient Solution and Learning of Robust Factored MDPs
AAAI 2026
HSVI-based online minimax strategies for partially observable stochastic games with neural perception mechanisms
L4DC 2024
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
AAAI 2022
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
UAI 2022
Verifying Reinforcement Learning up to Infinity
IJCAI 2021
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
IJCAI 2015