Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.

Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu

Browse the full ICCAD paper archive.