Sora: Scalable Black-Box Reachability Analyser on Neural Networks
Year: 2023
Type: conference-paper
Authors: Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang
Institutions: University of Liverpool, University of Exeter
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Award: G849311619
OpenAlex ID: W4375868996