Model-Free Verification for Neural Network Controlled Systems

Han Wang, Zuxun Xiong, Liqun Zhao +1

Neural network controllers have shown potential in achieving superior performance in feedback control systems. Although a neural network can be trained efficiently using deep and r…