Property-Directed Verification and Robustness Certification of Recurrent Neural Networks - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

No file

Dates and versions

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

Identifiers

Cite

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⟩
112 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More