A Dual Relaxation Method for Neural Network Verification
Release Time:2025-03-07 Hits:
Indexed by: Journal Papers
Document Code: 394170
Date of Publication: 2024-08-11
Journal: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING
Volume: 34
Issue: 08
Page Number: 1199-1220
ISSN: 0218-1940