Design-while-verify
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jul 10, 2022
- Source ID
- 10.1145/3489517.3530556
Entities
People
- Chao Huang
- Qi Zhu
- Yixuan Wang
- Zhaoran Wang
- Zhilu Wang
Organizations
- National Science Foundation
- Northwestern University
- Office of Naval Research
- University of Liverpool