Explaining counterexamples using causality.

Ilan Beer Shoham Ben-David Hana Chockler Avigail Orni Richard J. Trefler

Published in: Formal Methods Syst. Des. (2012)

Keyphrases

causal relations
generating explanations
causal ordering
causal relationships
real time
image processing
databases
data mining
case study
preprocessing
lower bound
causal models
causal reasoning