Alert button
Picture for Daniel Kroening

Daniel Kroening

Alert button

Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

Dec 18, 2023
Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

Viaarxiv icon

You Only Explain Once

Nov 23, 2023
David A. Kelly, Hana Chockler, Daniel Kroening, Nathan Blake, Aditi Ramaswamy, Melane Navaratnarajah, Aaditya Shivakumar

Viaarxiv icon

Multiple Different Explanations for Image Classifiers

Sep 28, 2023
Hana Chockler, David A. Kelly, Daniel Kroening

Viaarxiv icon

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning

Sep 21, 2022
Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

Viaarxiv icon

Exposing Previously Undetectable Faults in Deep Neural Networks

Jun 01, 2021
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham

Figure 1 for Exposing Previously Undetectable Faults in Deep Neural Networks
Figure 2 for Exposing Previously Undetectable Faults in Deep Neural Networks
Figure 3 for Exposing Previously Undetectable Faults in Deep Neural Networks
Figure 4 for Exposing Previously Undetectable Faults in Deep Neural Networks
Viaarxiv icon

Compositional Explanations for Image Classifiers

Mar 05, 2021
Hana Chockler, Daniel Kroening, Youcheng Sun

Figure 1 for Compositional Explanations for Image Classifiers
Figure 2 for Compositional Explanations for Image Classifiers
Figure 3 for Compositional Explanations for Image Classifiers
Figure 4 for Compositional Explanations for Image Classifiers
Viaarxiv icon

Neural Termination Analysis

Feb 07, 2021
Mirco Giacobbe, Daniel Kroening, Julian Parsert

Figure 1 for Neural Termination Analysis
Figure 2 for Neural Termination Analysis
Figure 3 for Neural Termination Analysis
Figure 4 for Neural Termination Analysis
Viaarxiv icon

Shielding Atari Games with Bounded Prescience

Jan 22, 2021
Mirco Giacobbe, Mohammadhosein Hasanbeig, Daniel Kroening, Hjalmar Wijk

Figure 1 for Shielding Atari Games with Bounded Prescience
Figure 2 for Shielding Atari Games with Bounded Prescience
Figure 3 for Shielding Atari Games with Bounded Prescience
Figure 4 for Shielding Atari Games with Bounded Prescience
Viaarxiv icon

Ranking Policy Decisions

Aug 31, 2020
Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening

Figure 1 for Ranking Policy Decisions
Figure 2 for Ranking Policy Decisions
Figure 3 for Ranking Policy Decisions
Figure 4 for Ranking Policy Decisions
Viaarxiv icon