标题 |
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective
深度神经网络的对抗鲁棒性:形式验证视角的综述
相关领域
计算机科学
稳健性(进化)
对抗制
人工智能
机器学习
人工神经网络
特征工程
深度学习
恶意软件
对抗性机器学习
形式验证
可信赖性
数据挖掘
计算机安全
理论计算机科学
生物化学
化学
基因
|
网址 | |
DOI | |
其它 |
期刊:IEEE Transactions on Dependable and Secure Computing 作者:Mark Huasong Meng; Guangdong Bai; Sin G. Teo; Zhé Hóu; Yan Xiao; et al 出版日期:2024-01-01 |
求助人 | |
下载 | 求助已完成,仅限求助人下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|