%0 Journal Article %1 journals/tcad/GoyalDD22 %A Goyal, Manish %A Dewaskar, Miheer %A Duggirala, Parasara Sridhar %D 2022 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 11 %P 4265-4276 %T NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation. %U http://dblp.uni-trier.de/db/journals/tcad/tcad41.html#GoyalDD22 %V 41

@article{journals/tcad/GoyalDD22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Goyal, Manish and Dewaskar, Miheer and Duggirala, Parasara Sridhar}, biburl = {https://www.bibsonomy.org/bibtex/214d3c5c91657d03b1c898ea6b9cb889f/dblp}, ee = {https://doi.org/10.1109/TCAD.2022.3197524}, interhash = {f9fed418ec272f5a350758d21dd3a52f}, intrahash = {14d3c5c91657d03b1c898ea6b9cb889f}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, number = 11, pages = {4265-4276}, timestamp = {2024-04-08T19:46:30.000+0200}, title = {NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad41.html#GoyalDD22}, volume = 41, year = 2022 }