Apr, 2024

具有不确定节点特征和不确定图结构的图卷积网络的形式验证

TL;DR该研究论文研究并解决了在安全关键环境中验证神经网络的稳健性和不确定性中的计算依赖关系问题,并使用(矩阵)多项式范围体进行可达性分析验证了其方法在三个流行基准数据集上的有效性。