Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity | IEEE Journals & Magazine | IEEE Xplore