Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu 0002. Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper. In David Z. Pan, editor, Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019. pages 1-8, ACM, 2019. [doi]