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