Archived News
- 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.