Sora: Scalable Black-Box Reachability Analyser on Neural Networks.

Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang

Browse the full ICASSP paper archive.