Daniel Kroening
8 papers · 2019–2026 · 5 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (5) π Academic Marathon (5) π Cross-Pollinator (13)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(22)
π
Keyword Champion
(3)
Conferences
AAAI (3)
NIPS (2)
ECCV (1)
ICCV (1)
IJCAI (1)
Top co-authors
Keywords
policy synthesis
(3)
sparse reward
(2)
reinforcement learning
(2)
formal verification
(1)
deep neural network
(1)
markov decision process
(1)
bayesian inference
(1)
hamming distance
(1)
safe reinforcement learning
(1)
risk bound
(1)
temporal logic
(1)
neural network verification
(1)
safety constraint
(1)
image classifier
(1)
satisfiability solving
(1)
adversarial robustness
(1)
model explanation
(1)
global robustness
(1)
adversarial example
(1)
image classification
(1)
Papers
Symbolic Task Inference in Deep Reinforcement Learning (Abstract Reprint)
AAAI 2026
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
AAAI 2024
Neural Model Checking
NIPS 2024
Ranking Policy Decisions
NIPS 2021
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
AAAI 2021
Explanations for Occluded Images
ICCV 2021
Explaining Image Classifiers using Statistical Fault Localization
ECCV 2020
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
IJCAI 2019