Login / Signup
A Review of Abstraction Methods Toward Verifying Neural Networks.
Fateh Boudardara
Abderraouf Boussif
Pierre-Jean Meyer
Mohamed Ghazel
Published in:
ACM Trans. Embed. Comput. Syst. (2024)
Keyphrases
</>
neural network
real time
machine learning
state space
benchmark datasets
database
data sets
search engine
computationally expensive