91 citations · 114 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Neural Network Repair with Reachability Analysis
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran +3
Safety is a critical concern for the next generation of autonomy that is likely to rely heavily on deep neural networks for perception and control. Formally verifying the safety an…
cs.CV2021★ 2 cited
Reachability Analysis of Convolutional Neural Networks
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran +3
Deep convolutional neural networks have been widely employed as an effective technique to handle complex and practical problems. However, one of the fundamental problems is the lac…