Verification Approaches for Learning-Enabled Autonomous Cyber–Physical Systems
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Feb 01, 2022
- Source ID
- 10.1109/mdat.2020.3015712
Entities
People
- Hoang-Dung Tran
- Taylor T. Johnson
- Weiming Xiang
Organizations
- Air Force Office of Scientific Research
- Defense Advanced Research Projects Agency