Skip to main content

IEEE.org  |  IEEE Xplore Digital Library  |  IEEE Standards  |  IEEE Spectrum  |  More Sites

IEEE.org
Home
  • About
  • Publications
    • General Information
      • IEEE CSS Publications
      • Ethical Rules of Publications
      • Publications Digest
      • Control for Societal-Scale Challenges Roadmap 2030
      • The Impact of Control Technology - 1st ed.
      • The Impact of Control Technology - 2nd ed.
      • IEEE Press Book Series
    • Society Publications
      • Control Systems Letters
      • IEEE Control Systems Magazine
      • IEEE Open Journal of Control Systems
      • Transactions on Automatic Control
      • Transactions on Control of Network Systems
      • Transactions on Control Systems Technology
      • E-Letter (discontinued)
      • State-Space Forum
    • Open Journal Control Systems
  • Conferences
    • Conferences
      • CSS Conferences
      • Financially Sponsored Conferences
      • Technically Co-Sponsored Conferences
      • Conference Listing
      • Conference Editorial Board (CEB)
      • Technology Conference Editorial Board (TCEB)
      • Conference Publications
      • Request Technical Co-Sponsorship
      • Add a Conference
    • Conference Organizers
      • Conference Budgets
  • Technical Activities
    • Technical Activities
      • Technical Activities Board
      • Technical Committees
      • How to Join a CSS Technical Committee
      • IEEE CSS Days
      • TC Outstanding Student Paper Award (TC-OSPA)
      • History of CSS TAB
  • Membership
    • Member Activities
      • CSS Member Activities
      • Distinguished Lecturer Program
      • CSS Chapter Activities
      • NextCom
    • Student Activities
      • Student Membership
      • Student Travel Support
      • Student Workshop Support
      • Student Branch Chapters
  • Outreach
    • Diversity, Outreach, and Development Activities
      • CSS on Diversity, Outreach, and Development Activities
      • Women in Control
      • Outreach Fund
      • CSS Graduate Collaboration Fellowship
  • Financial
    • Financial Activities
      • CSS Financial Activities
      • Travel Support
      • Conference Budgets
  • Awards
    • Award Nominations

      Call for Award Nominations

      More Info

    • CSS Awards Information
      • Awards Program
      • CSS IEEE Fellows
      • Other IEEE Awards
      • Award Listing
      • 2020 Awards Ceremony Video
    • CSS Awards
      • Hendrik W. Bode Lecture Prize
      • Antonio Ruberti Young Researcher Prize
      • George S. Axelby Outstanding Paper Award
      • TCST Outstanding Paper Award
      • CSM Outstanding Paper Award
      • Control Systems Technology Award
      • Award for Technical Excellence in Aerospace Control
      • Transition to Practice Award
      • IEEE Control Systems Letters Outstanding Paper Award
      • CCTA Best Student Paper Award
      • CDC Best Student Paper Award
      • Outstanding Chapter Award
      • Distinguished Member Award
      • TCNS Outstanding Paper Award
      • Roberto Tempo Best CDC Paper Award
      • IEEE Control Systems Society Graduate Collaboration Fellowship
      • IEEE Control Systems Society Best CCTA Paper Award

Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming

"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

Home  |  Sitemap/More Sites  |  Contact & Support  |  Accessibility  |  Nondiscrimination Policy  |  IEEE Privacy Policy

© Copyright 2026 IEEE – All rights reserved. Use of this website signifies your agreement to the IEEE Terms and Conditions.
A public charity, IEEE is the world's largest technical professional organization dedicated to advancing technology for the benefit of humanity.

This site is created, maintained, and managed by Conference Catalysts, LLC.
Please feel free to contact us for any assistance.