13 citations · 13 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Robustness, Scott Continuity, and Computability
Amin Farjudian, Eugenio Moggi
Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robu…
cs.LG2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks
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…