NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Press Enter or click the Search button to begin your search.

Back to Results
Understanding and Verifying Deep Neural Networks
Document ID
20220012818
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Divya Gopinath
(KBR (United States) Houston, Texas, United States)
Date Acquired
August 18, 2022
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Meeting Information
Meeting: AI Safety and Certification for Aviation (AISCA) Workshop
Location: Online
Country: US
Start Date: August 23, 2022
End Date: August 24, 2022
Sponsors: George Washington University, Aerospace Industries Association
Funding Number(s)
CONTRACT_GRANT: NNA14AA60C
CONTRACT_GRANT: 80ARC020D0010
Distribution Limits
Public
Copyright
Public Use Permitted.
Technical Review
NASA Peer Committee
Keywords
Prophecy
Verification
Explainability
Testing
Neural networks
Formal analysis
No Preview Available