Stability and performance verification of dynamical systems controlled by neural networks: algorithms and complexity - Milan Korda (2021)