College of Engineering

Borzoo Bonakdarpour

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

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed & Accuracy

Efficient Discovery of Actual Causality using Abstraction-Refinement

Syntax-Guided Automated Program Repair for Hyperproperties

Distributed runtime verification of metric temporal properties

Subscribe to Borzoo Bonakdarpour

Spartans Will.
© Michigan State University