Archived News
- December 2024: Our work Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops was accepted for publication in L-CSS and will be presented at ACC 2025 in Denver, CO.
- May 2024: I presented our paper Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances at ICRA in Yokohama, Japan.
- January 2025: Our Workshop on Formal Verification of Control Systems with Neural Network Components will be held as part of the program at ACC 2025.
- December 2023: Our paper Backward Reachability Analysis for Neural Feedback Loops was awarded the 2023 IEEE Aerospace Controls Technical Committee Outstanding Student Paper Prize.
- May 2023: I finished my Masters degree in MIT AeroAstro with the submission of my thesis “BReach-LP: a Framework for Backward Reachability Analysis of Neural Feedback Loops”.
- April 2023: Our journal paper Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems was accepted to the IEEE Open Journal of Control Systems.