Dynamic and Scalable Deep Neural Network Verification Algorithm - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Dynamic and Scalable Deep Neural Network Verification Algorithm

Mohamed Ibn Khedher
Makhlouf Hadji
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-03043107 , version 1

Citer

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⟩
46 Consultations
0 Téléchargements

Partager

More