author-photo

Daniel Kroening

University of Oxford
ETH Zurich
Carnegie Mellon University

398

Papers

9478

Citations

Citation Trend

Filter By

Papers (397) Sort By

Journal Conference Others

Chapter 20. Software Verification

2021
- Daniel Kroening
Show All
- Source
- Cite
- Save
Citations (0)
Compositional Explanations for Image Classifiers.

2021 arXiv: Learning
Show All
- Source
- Cite
- Save
Citations (0)
Shielding Atari Games with Bounded Prescience

2021 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (1)
Shielding Atari Games with Bounded Prescience

2021 | International Joint Conference on Autonomous Agents and Multi-agent Systems
Show All
- Source
- Cite
- Save
Citations (0)
Exposing previously undetectable faults in deep neural networks

2021
Show All
- Source
- Cite
- Save
Citations (1)
Ranking Policy Decisions

2021 NeurIPS | Neural Information Processing Systems
Show All
- Source
- Cite
- Save
Citations (0)
Neural Termination Analysis.

2021 arXiv: Learning
Show All
- Source
- Cite
- Save
Citations (1)
DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning

2021 AAAI | National Conference on Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (10)
Shielding Atari Games with Bounded Prescience.

2021 Autonomous Agents and Multi-Agent Systems
Show All
- Source
- Cite
- Save
Citations (0)
Using model checking tools to triage the severity of security bugs in the Xen hypervisor

2020
Show All
- Source
- Cite
- Save
Citations (4)