BriefGPT.xyz
Jun, 2023
通过状态空间削减和输入分割扩展 DNN 分析的规模检查
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version)
HTML
PDF
Mahum Naseer, Osman Hasan, Muhammad Shafique
TL;DR
提出了一种新的基于模型检查的框架来分析神经网络的行为和安全属性,利用状态空间的降维和输入分割方法可以将其应用于更大的神经网络,并可用于对健康数据集和ACAS Xu神经网络的训练进行分析。
Abstract
Owing to their remarkable learning capabilities and performance in real-world applications, the use of
machine learning systems
based on
neural networks
(NNs) has been continuously increasing. However, various ca
→