publications

2025

1. NeurIPS25

   

   HYPRL: Reinforcement Learning of Control Policies for Hyperproperties

   Tzu-Han Hsu^*, Arshia Rafieioskouei^*, and Borzoo Bonakdarpour

   2025

   Bib PDF Poster Website

   @article{Neurips25,
     title = {HYPRL: Reinforcement Learning of Control Policies for Hyperproperties},
     booktitle = {The Thirty-ninth Annual Conference on Neural Information Processing Systems},
     pages = {161134},
     year = {2025},
     dimensions = {false},
     url = {https://openreview.net/forum?id=lJSAtyx9Uc},
     author = {Hsu, Tzu-Han and Rafieioskouei, Arshia and Bonakdarpour, Borzoo},
   }

2. Molecular Pharm

   

   Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine

   Arshia Rafieioskouei, Kenneth Rogale, Amir Ata Saei, and 2 more authors

   Molecular Pharmaceutics, Apr 2025

   Bib PDF Code Website

   @article{cite-key,
     annote = {doi: 10.1021/acs.molpharmaceut.5c00262},
     author = {Rafieioskouei, Arshia and Rogale, Kenneth and Saei, Amir Ata and Mahmoudi, Morteza and Bonakdarpour, Borzoo},
     date = {2025/04/09},
     doi = {10.1021/acs.molpharmaceut.5c00262},
     isbn = {1543-8384},
     journal = {Molecular Pharmaceutics},
     month = apr,
     publisher = {American Chemical Society},
     title = {Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine},
     year = {2025},
     dimensions = {false},
   }

3. CEJ

   

   Ai-driven prediction of cardio-oncology biomarkers through protein corona analysis

   Avirup Guha, Seyed Amirhossein Sadeghi, Harikrishnan Hyma Kunhiraman, and 14 more authors

   Chemical Engineering Journal, Apr 2025

   Code Website

2024

1. EMSOFT’24

   

   Efficient Discovery of Actual Causality Using Abstraction Refinement

   Arshia Rafieioskouei, and Borzoo Bonakdarpour

   IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Nov 2024

   Bib PDF Code Poster Slides Website

   @article{10745858,
     author = {Rafieioskouei, Arshia and Bonakdarpour, Borzoo},
     journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
     title = {Efficient Discovery of Actual Causality Using Abstraction Refinement},
     year = {2024},
     month = nov,
     volume = {43},
     number = {11},
     pages = {4274-4285},
     url = {https://ieeexplore.ieee.org/document/10745858},
     dimensions = {false},
     doi = {10.1109/TCAD.2024.3448299}
   }