BriefGPT.xyz
Ask
alpha
关键词
inductive invariant method
搜索结果 - 1
基于组合归纳不变式的神经网络控制系统验证
本文介绍了一种针对神经网络控制系统(NNCS)安全验证的新方法,利用归纳不动点方法,并配合自动推断必要的分解谓词的算法,将验证过程从数小时(甚至超时)缩短至几秒钟,在案例研究中显著提高了验证性能。
PDF
7 months ago
Prev
Next