Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper | IEEE Conference Publication | IEEE Xplore