Runtime Verification of Neural-Symbolic Systems. - Shaojun Deng; Wanwei Liu; Miaomiao Zhang 003 (SETTA, 2024)

UR4NNV: Neural Network Verification, Under-approximation Reachability Works! - Zhen Liang; Taoran Wu; Ran Zhao; Bai Xue 001; Ji Wang 001; Wenjing Yang 002; Shaojun Deng; Wanwei Liu (CoRR, 2024)