Hana Chockler

Hana Chockler

King's College

H-index: 21

North America-United States

About Hana Chockler

Hana Chockler, With an exceptional h-index of 21 and a recent h-index of 13 (since 2020), a distinguished researcher at King's College, specializes in the field of formal verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Counterfactual Influence in Markov Decision Processes

Explaining Image Classifiers

Clustered Policy Decision Ranking

Multiple Different Explanations for Image Classifiers

Apparatus and method of data processing

Challenges in Explaining Brain Tumor Detection

MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting

You Only Explain Once

Hana Chockler Information

University

Position

___

Citations(all)

2153

Citations(since 2020)

857

Cited By

1636

hIndex(all)

21

hIndex(since 2020)

13

i10Index(all)

41

i10Index(since 2020)

18

Email

University Profile Page

Google Scholar

Hana Chockler Skills & Research Interests

formal verification

Top articles of Hana Chockler

Counterfactual Influence in Markov Decision Processes

arXiv preprint arXiv:2402.08514

2024/2/13

Milad Kazemi
Milad Kazemi

H-Index: 2

Hana Chockler
Hana Chockler

H-Index: 13

Explaining Image Classifiers

arXiv preprint arXiv:2401.13752

2024/1/24

Hana Chockler
Hana Chockler

H-Index: 13

Clustered Policy Decision Ranking

arXiv preprint arXiv:2311.12970

2023/11/21

Hana Chockler
Hana Chockler

H-Index: 13

Multiple Different Explanations for Image Classifiers

arXiv preprint arXiv:2309.14309

2023/9/25

Hana Chockler
Hana Chockler

H-Index: 13

Apparatus and method of data processing

2023/9/7

Challenges in Explaining Brain Tumor Detection

2023/7/11

Paul Brennan
Paul Brennan

H-Index: 13

Hana Chockler
Hana Chockler

H-Index: 13

MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting

arXiv preprint arXiv:2311.14471

2023/11/24

Hana Chockler
Hana Chockler

H-Index: 13

You Only Explain Once

arXiv preprint arXiv:2311.14081

2023/11/23

Hana Chockler
Hana Chockler

H-Index: 13

A causal analysis of harm

Advances in Neural Information Processing Systems

2022/12/6

Hana Chockler
Hana Chockler

H-Index: 13

Joseph Halpern
Joseph Halpern

H-Index: 43

Causal Analysis of the TOPCAT Trial: Spironolactone for Preserved Cardiac Function Heart Failure

arXiv preprint arXiv:2211.12983

2022/11/23

Hana Chockler
Hana Chockler

H-Index: 13

Equality of Effort via Algorithmic Recourse

arXiv preprint arXiv:2211.11892

2022/11/21

Hana Chockler
Hana Chockler

H-Index: 13

A causal analysis of harm,\emph {Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS 2022)}, 2022 (with S. Beckers and H. Chockler).

Proceedings of the 36th Conference on Neural Information Processing Systems (NeurIPS)

2022/11

Hana Chockler
Hana Chockler

H-Index: 13

Why Do Things Go Wrong (or Right)? Applications of Causal Reasoning to Verification

2022/10/17

Hana Chockler
Hana Chockler

H-Index: 13

Quantifying harm

arXiv preprint arXiv:2209.15111

2022/9/29

Hana Chockler
Hana Chockler

H-Index: 13

A study of demographic bias in CNN-based brain MR segmentation

2022/9/18

Domain knowledge in a*-based causal discovery

arXiv preprint arXiv:2208.08247

2022/8/17

Hana Chockler
Hana Chockler

H-Index: 13

On testing for discrimination using causal models

Proceedings of the AAAI Conference on Artificial Intelligence

2022/6/28

Hana Chockler
Hana Chockler

H-Index: 13

Specifiable robustness in reactive synthesis

Formal Methods in System Design

2022/4

Vision checklist: Towards testable error analysis of image models to help system designers interrogate model capabilities

arXiv preprint arXiv:2201.11674

2022/1/27

Xin Du
Xin Du

H-Index: 5

Hana Chockler
Hana Chockler

H-Index: 13

Ranking policy decisions

Advances in Neural Information Processing Systems

2021/12/6

See List of Professors in Hana Chockler University(King's College)

Co-Authors

academic-engine