activity
20152025
most citedActive Learning of Abstract System Models from Traces using Model Checking [Extended]

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2024Show all

2 papers · 1 filter

cs.AI2024

Causal Explanations for Image Classifiers

Hana Chockler, David A. Kelly, Daniel Kroening +1

Existing algorithms for explaining the output of image classifiers use different definitions of explanations and a variety of techniques to find them. However, none of the existing…

cs.LO2024

Neural Model Checking

Mirco Giacobbe, Daniel Kroening, Abhinandan Pal +1

We introduce a machine learning approach to model checking temporal logic, with application to formal hardware verification. Model checking answers the question of whether every ex…