Award Received: IEEE CSS George S. Axelby Outstanding Paper Award Date Awarded: 2024 Manfred Morari Swiss Federal Institute of Technology Switzerland Email, George J. Pappas University of Pennsylvania United States EmailWebsite, and Mahyar Fazlyab Paper: "Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming" Published in IEEE Transactions on Automatic Control, Vol. 67, pages 1-15, 2022
"Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming" Published in IEEE Transactions on Automatic Control, Vol. 67, pages 1-15, 2022