Author of the publication

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

, , , , and . ICCAD, page 1-8. ACM, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Beaconless dual-channel Real-Time Routing Protocol for wireless sensor networks.. ICCAIS, page 16-21. IEEE, (2015)Topic mining of tourist attractions based on a seasonal context aware LDA model., , , and . Intell. Data Anal., 22 (2): 383-405 (2018)Erratum: "iVI: An iterative vector interaction method for large eigenvalue problems" J. Comput. Chem. 38 2481 (2017)., , , and . J. Comput. Chem., 39 (6): 338 (2018)iVI: An iterative vector interaction method for large eigenvalue problems., , , and . J. Comput. Chem., 38 (29): 2481-2499 (2017)A Digitally Controlled Single-Inductor Dual-Output Buck Converter with Low Cross-Regulation and Fast Dynamic Response., , , , , and . ICIT, page 415-420. IEEE, (2020)Delta Operator-Based Model Predictive Control With Fault Compensation for Steer-by-Wire Systems., , and . IEEE Trans. Syst. Man Cybern. Syst., 50 (6): 2257-2272 (2020)iVI-TD-DFT: An iterative vector interaction method for exterior/interior roots of TD-DFT., and . J. Comput. Chem., 40 (9): 1023-1037 (2019)Scheduling of a Parcel Delivery System Consisting of an Aerial Drone Interacting with Public Transportation Vehicles., , and . Sensors, 20 (7): 2045 (2020)Toward local family relationship discovery in location-based social network., , , and . Soc. Netw. Anal. Min., 7 (1): 27:1-27:21 (2017)License Plate Recognition Based On Adaptive Threshold., , , and . iThings/GreenCom/CPSCom/SmartData, page 1812-1816. IEEE, (2018)