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

HypRL: Reinforcement Learning of Control Policies for Hyperproperties. - Tzu-Han Hsu; Arshia Rafieioskouei; Borzoo Bonakdarpour (CoRR, 2025)

Efficient Discovery of Actual Causality with Uncertainty. - Arshia Rafieioskouei; Kenneth Rogale; Borzoo Bonakdarpour (CoRR, 2025)