College of Engineering

Borzoo Bonakdarpour

Prove: A Runtime Monitor of Linear Temporal Properties over Partial Order Executions

Leveraging nanoparticle protein corona to advance plasma proteome profiling

HyperQB 2.0: A Bounded Model Checker for Hyperproperties

HYPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation

Efficient Discovery of Actual Causality in Stochastic Systems

HypRL: Reinforcement Learning of Control Policies for Hyperproperties

Gray-box Runtime Enforcement of Hyperproperties

Efficient Probabilistic Model Checking for Relational Reachability

Beyond Correlation: Establishing Causality in Protein Corona Formation for Nanomedicine

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

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University