Kroening, Daniel

11 publications

NeurIPS 2025 Let a Neural Network Be Your Invariant Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

NeurIPS 2024 Neural Model Checking Mirco Giacobbe, Daniel Kroening, Abhinandan Pal, Michael Tautschnig

AAAI 2024 Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

JAIR 2024 Symbolic Task Inference in Deep Reinforcement Learning Hosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

NeurIPSW 2022 Risk-Aware Bayesian Reinforcement Learning for Cautious Exploration Rohan Narayan Langford Mitta, Hosein Hasanbeig, Daniel Kroening, Alessandro Abate

AAAI 2021 DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning Mohammadhosein Hasanbeig, Natasha Yogananda Jeppu, Alessandro Abate, Tom Melham, Daniel Kroening

ICCV 2021 Explanations for Occluded Images Hana Chockler, Daniel Kroening, Youcheng Sun

NeurIPS 2021 Ranking Policy Decisions Hadrien Pouget, Hana Chockler, Youcheng Sun, Daniel Kroening

ECCV 2020 Explaining Image Classifiers Using Statistical Fault Localization Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening

JAIR 2020 Learning the Language of Software Errors Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

IJCAI 2019 Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska