Skip to Main content Skip to Navigation
Conference papers

Dynamic and Scalable Deep Neural Network Verification Algorithm

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03043107
Contributor : Mohamed Ibn Khedher Connect in order to contact the contributor
Submitted on : Monday, December 7, 2020 - 10:19:29 AM
Last modification on : Thursday, November 4, 2021 - 12:50:01 PM

Identifiers

  • HAL Id : hal-03043107, version 1

Citation

Mohamed Ibn Khedher, Hatem Ibn Khedher, Makhlouf Hadji. Dynamic and Scalable Deep Neural Network Verification Algorithm. International Conference on Agents and Artificial Intelligence, Feb 2021, Vienna, Austria. ⟨hal-03043107⟩

Share

Metrics

Record views

35