ISCAS OpenIR  > 基础软件与系统重点实验室
基于抽象解释和利普希茨常数的深度神经网络鲁棒性验证
杨鹏飞
专业计算机软件与理论
导师张立军
2021-05-26
学位授予单位中国科学院研究生院
学位博士
学位授予地点北京
内容类型学位论文
URI标识http://ir.iscas.ac.cn/handle/311060/19435
专题基础软件与系统重点实验室
作者单位1.中国科学院软件研究所
2.中国科学院大学
推荐引用方式
GB/T 7714
杨鹏飞. 基于抽象解释和利普希茨常数的深度神经网络鲁棒性验证[D]. 北京. 中国科学院研究生院,2021.
条目包含的文件
文件名称/大小 文献类型 版本类型 开放类型 使用许可
Pengfei_Yang_thesis (1614KB)学位论文 开放获取CC BY-NC-SA请求全文
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[杨鹏飞]的文章
百度学术
百度学术中相似的文章
[杨鹏飞]的文章
必应学术
必应学术中相似的文章
[杨鹏飞]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。