most citedModel-Agnostic Reachability Analysis on Deep Neural Networks

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LG2023★ 2 cited

Model-Agnostic Reachability Analysis on Deep Neural Networks

Chi Zhang, Wenjie Ruan, Fu Wang +3

Verification plays an essential role in the formal analysis of safety-critical systems. Most current verification methods have specific requirements when working on Deep Neural Net…