Dynamic and Scalable Deep Neural Network Verification Algorithm - Archive ouverte HAL Access content directly
Conference Papers Year :

Dynamic and Scalable Deep Neural Network Verification Algorithm

Mohamed Ibn Khedher
Makhlouf Hadji
No file

Dates and versions

hal-03043107 , version 1 (07-12-2020)

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

Share

Gmail Facebook Twitter LinkedIn More