![](/img/cover-not-exists.png)
[IEEE 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Westminster, CO, USA (2019.11.4-2019.11.7)] 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper
Fan, Jiameng, Huang, Chao, Li, Wenchao, Chen, Xin, Zhu, QiYear:
2019
DOI:
10.1109/iccad45719.2019.8942059
File:
PDF, 5.75 MB
2019