Efficient Discovery of Actual Causality Using Abstraction Refinement. - Rafieioskouei, Arshia; Bonakdarpour, Borzoo (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Efficient Discovery of Actual Causality using Abstraction-Refinement. - Rafieioskouei, Arshia; Bonakdarpour, Borzoo (CoRR, 2024)