Statistical verification of learning-based cyber-physical systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 22, 2020
- Source ID
- 10.1145/3365365.3382209
Entities
People
- Miroslav Pajic
- Mojtaba Zarei
- Yu Wang
Organizations
- Air Force Office of Scientific Research
- Duke University
- National Science Foundation
- Office of Naval Research