BriefGPT.xyz
Ask
alpha
关键词
qualitative and quantitative
搜索结果 - 1
深度神经网络控制系统的定性与定量安全验证统一
通过定性和定量安全性验证问题的综合合成有效的神经屏障证书,本文提出了一种用于 DNN 控制系统的新型框架,并通过 $ extsf {UniQQ}$ 工具在四个经典 DNN 控制系统上展示了其有效性。
PDF
3 months ago
Prev
Next