Arshia Rafieioskouei

According to our database, Arshia Rafieioskouei authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Efficient Discovery of Actual Causality in Stochastic Systems.

Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

2025

Efficient Discovery of Actual Causality with Uncertainty.

Arshia Rafieioskouei, Kenneth Rogale, Borzoo Bonakdarpour

CoRR, July, 2025

HypRL: Reinforcement Learning of Control Policies for Hyperproperties.

Tzu-Han Hsu, Arshia Rafieioskouei, Borzoo Bonakdarpour

CoRR, April, 2025

2024

Efficient Discovery of Actual Causality Using Abstraction Refinement.

Arshia Rafieioskouei, Borzoo Bonakdarpour

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024