BriefGPT.xyz
Ask
alpha
关键词
set-based verification framework
搜索结果 - 1
NNV: 面向深度神经网络和学习增强型的网络物理系统的神经网络验证工具
本文介绍神经网络验证(NNV)软件工具,该工具为深度神经网络(DNN)和学习启用的控制系统(CPS)提供了一套基于集合的验证框架。NNV 的核心是一组可达性算法,这些算法利用了多种集合表示,例如,多面体、恒星集、zono topes 和抽象
→
PDF
4 years ago
Prev
Next