1 paper
Can Zhou, Razin A. Shaikh, Yiran Li +1
A domain-theoretic framework is presented for validated robustness analysis of neural networks. First, global robustness of a general class of networks is analyzed. Then, using the…