Property-Directed Verification and Robustness Certification of Recurrent Neural Networks - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Fichier non déposé

Dates et versions

hal-03285418 , version 1 (13-07-2021)

Identifiants

Citer

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, et al.. Property-Directed Verification and Robustness Certification of Recurrent Neural Networks. 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia. pp.364-380, ⟨10.1007/978-3-030-88885-5_24⟩. ⟨hal-03285418⟩
105 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More