Doctoral Degree

大连理工大学

Personal Information

Gender:Male
Business Address:综合楼423
E-Mail:hougang@dlut.edu.cn

VIEW MORE
Home > Scientific Research > Paper Publications

A Dual Relaxation Method for Neural Network Verification

Date of Publication:2024-05-05 Hits:

Date of Publication:2024-05-05
Journal:INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
ISSN No.:0218-1940