NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation
IEEE transactions on computer-aided design of integrated circuits and systems（2022）
Key words
Sensitivity,Neural networks,Space exploration,Trajectory,Safety,Behavioral sciences,Closed loop systems,Closed-loop control systems,falsification,neural networks,sensitivity function,state-space exploration
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined