Daniel Kroening
8 papers · 2019–2026 · 5 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Silver πΊοΈ Taxonomy Completionist (22) π£ Hot Topic Early Bird
π
Renaissance Researcher
(5)
Venues
Top co-authors
Research topics
Artificial Intelligence
(6)
Core AI Β· Artificial Intelligence
(6)
Machine Learning
(5)
Reinforcement Learning
(4)
Methods
(4)
Optimization & Theory
(4)
Knowledge & Reasoning
(3)
Learning Types
(3)
Reasoning
(3)
Deep Learning
(2)
Computer Science
(1)
Computer Vision
(1)
Architectures
(1)
Bayesian & Probabilistic
(1)
Core AI Β· Computer Vision
(1)
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
Neural Model Checking
NeurIPS 2024
Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
AAAI 2024
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
AAAI 2021
Explanations for Occluded Images
ICCV 2021
Ranking Policy Decisions
NeurIPS 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