Skip to Main content Skip to Navigation
Conference papers

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03285418
Contributor : Benedikt Bollig Connect in order to contact the contributor
Submitted on : Tuesday, July 13, 2021 - 12:18:16 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM

Identifiers

  • HAL Id : hal-03285418, version 1

Citation

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. ⟨hal-03285418⟩

Share

Metrics

Record views

79