NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.
Manish GoyalMiheer DewaskarParasara Sridhar DuggiralaPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases