Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity

Milan Korda. Stability and Performance Verification of Dynamical Systems Controlled by Neural Networks: Algorithms and Complexity. IEEE Control Systems Letters, 6:3265-3270, 2022. [doi]

Abstract

Abstract is missing.