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

> Research article (2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2019) · cited 15× · AI/ML

**Wikidata**: [openalex:W2996902490](https://www.wikidata.org/wiki/openalex:W2996902490)  
**Source**: https://4ort.xyz/entity/towards-verification-aware-knowledge-distillation-for-neural-network-controlled-systems-invited-paper