David Parker
6 papers
· 2015–2026
· 4 conferences
· across top CS/AI conferences
Achievements
π
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)