NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2022
Source ID
10.1109/tcad.2022.3197524

Entities

People

  • Manish Goyal
  • Miheer Dewaskar
  • Parasara Sridhar Duggirala

Organizations

  • Air Force Office of Scientific Research
  • Duke University
  • National Science Foundation
  • University of North Carolina

Tags

Technology Areas

  • AI & ML
  • AI & ML - Machine Learning Algorithms
  • AI & ML - Neural Networks
  • Space