Conference Papers
Year :
Mohamed IBN KHEDHER : Connect in order to contact the contributor
https://hal.science/hal-03043107
Submitted on : Monday, December 7, 2020-10:19:29 AM
Last modification on : Tuesday, October 18, 2022-8:34:05 AM
Dates and versions
Identifiers
- HAL Id : hal-03043107 , version 1
Cite
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⟩
Collections
30
View
0
Download