Nguyen, Luan Viet

1. NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems
   2020/04/11 by Hoang-Dung Tran, Tran, Hoang-Dung, Xiaodong Yang +13 · 13 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering