9IXedxa0P3XAQxewca6QHUYnVs5pMK5cOrKG20IPQY2N7carXPMKmsaXAuDt
Current position: Home >> Scientific Research >> Paper Publications

A Dual Relaxation Method for Neural Network Verification

Release Time:2024-09-27  Hits:

Date of Publication: 2024-06-06

Journal: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

ISSN: 0218-1940

Prev One:基于凸优化的无人驾驶汽车转向角安全性验证

Next One:An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface
Recommended Ph.D.Supervisor Recommended MA Supervisor Institutional Repository Personal Page

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024

Click:Times MOBILE Version
The Founding Time : ..
The Last Update Time : ..

Mobile phone sweep