NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

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

Back to Results
Constraint-Based Repair of Neural Network Classifiers
Document ID
20210025522
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Divya Gopinath (Wyle (United States) El Segundo, California, United States)
Muhammad Usman (KBR (United States) Houston, Texas, United States)
Youcheng Sun (Queen's University Belfast Belfast, United Kingdom)
Corina S Pasareanu (Wyle (United States) El Segundo, California, United States)
Date Acquired
December 6, 2021
Subject Category
Cybernetics, Artificial Intelligence And Robotics
Meeting Information
Meeting: Java PathFinder (JPF) Workshop 2021
Location: Virtual
Country: US
Start Date: December 6, 2021
Sponsors: Java PathFinder (JPF) Committee
Funding Number(s)
CONTRACT_GRANT: NNA14AA60C
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
Deep Neural Networks
Repair

Related Records

There are no records associated with this record.
No Preview Available