David Parker
6 papers · 2015–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(14)
Top co-authors
Research topics
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
Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
UAI 2022
Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise
AAAI 2022
Verifying Reinforcement Learning up to Infinity
IJCAI 2021
Optimal Policy Generation for Partially Satisfiable Co-Safe LTL Specifications
IJCAI 2015