91 citations · 114 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2020★ 4 cited
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang +1
The vulnerability of artificial intelligence (AI) and machine learning (ML) against adversarial disturbances and attacks significantly restricts their applicability in safety-criti…
eess.SY2020★ 1 cited
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez +5
This paper presents the Neural Network Verification (NNV) software tool, a set-based verification framework for deep neural networks (DNNs) and learning-enabled cyber-physical syst…