Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Hana Chockler

Hana Chockler

King's College London

Compositional Explanations for Image Classifiers


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


  Access Paper or Ask Questions

Safety Synthesis Sans Specification


Nov 27, 2020
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, Dana Fisman, Heinz Riener


  Access Paper or Ask Questions

Ranking Policy Decisions


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


  Access Paper or Ask Questions

Combining Experts' Causal Judgments


May 20, 2020
Dalal Alrajeh, Hana Chockler, Joseph Y. Halpern

* A preliminary version of the paper appeared in \emph{Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18)}, 2018} 

  Access Paper or Ask Questions

Explaining Deep Neural Networks Using Spectrum-Based Fault Localization


Aug 06, 2019
Youcheng Sun, Hana Chockler, Xiaowei Huang, Daniel Kroening


  Access Paper or Ask Questions

Causality and Responsibility for Formal Verification and Beyond


Aug 29, 2016
Hana Chockler

* EPTCS 224, 2016, pp. 1-8 
* In Proceedings CREST 2016, arXiv:1608.07398. Invited paper 

  Access Paper or Ask Questions

The Computational Complexity of Structure-Based Causality


Dec 09, 2014
Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

* Appears in AAAI 2015 

  Access Paper or Ask Questions

Responsibility and blame: a structural-model approach


Dec 17, 2003
Hana Chockler, Joseph Y. Halpern


  Access Paper or Ask Questions

What Causes a System to Satisfy a Specification?


Dec 17, 2003
Hana Chockler, Joseph Y. Halpern, Orna Kupferman


  Access Paper or Ask Questions