机构名称：
¥ 2.0
摘要。验证的可靠性和实用性取决于适当表示不确定性的能力。关于神经网络验证的大多数现有工作依赖于输入的基于集合或概率的信息的假设。在这项工作中，我们依靠不精确的概率（特定P-boxes）的框架提出了Relu神经网络的定量性验证，这可以说明输入的概率信息和认识论的不确定性。，可以提高紧密性和效率之间的贸易，同时处理在投入方面的不确定性类别的更一般类别，并提供了完全确保的结果。
一种用于定量验证神经网络
主要关键词
相关文件推荐
