Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Dec 02, 2020
- Source ID
- 10.1109/memocode51338.2020.9315118
Entities
People
- Nikhil Naik
- Pierluigi Nuzzo
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- Office of Naval Research