Publications

(2026). Learning Safe-by-Design Neural Network Controllers. 65th IEEE Conference on Decision and Control (CDC).
(2026). CAffNet: Hard Constraint-Affine Neural Networks. The 43rd International Conference on Machine Learning (ICML).
(2025). Tube-Based MPC for Uncertain Sampled-Data Control Systems With Inter-Sample Reachability Analysis. IEEE Control Systems Letters (L-CSS).
(2025). AirTaxiSim: A Simulator for Autonomous Air Taxis. AIAA AVIATION FORUM AND ASCEND 2025 (AIAA).
(2024). An optimization-based planner with b-spline parameterized continuous-time reference signals. 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
(2024). Synergistic Perception and Control Simplex for Verifiable Safe Vertical Landing. AIAA SCITECH 2024 Forum (AIAA).