Efficient Discovery of Actual Causality using Abstraction-Refinement

Arshia Rafieioskouei, Borzoo Bonakdarpour

Causality is the relationship where one event contributes to the production of another, with the cause being partly responsible for the effect and the effect partly dependent on th…