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