Picture for Daniel Kroening

Daniel Kroening

Neural Model Checking

Add code
Oct 31, 2024
Viaarxiv icon

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

Add code
Dec 18, 2023
Figure 1 for Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Figure 2 for Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Figure 3 for Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Figure 4 for Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
Viaarxiv icon

You Only Explain Once

Add code
Nov 23, 2023
Viaarxiv icon

Multiple Different Explanations for Image Classifiers

Add code
Sep 28, 2023
Viaarxiv icon

LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning

Add code
Sep 21, 2022
Viaarxiv icon

Exposing Previously Undetectable Faults in Deep Neural Networks

Add code
Jun 01, 2021
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

Add code
Mar 05, 2021
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

Add code
Feb 07, 2021
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

Add code
Jan 22, 2021
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

Add code
Aug 31, 2020
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