A Review of Abstraction Methods Toward Verifying Neural Networks.
Saved in:
| Title: | A Review of Abstraction Methods Toward Verifying Neural Networks. |
|---|---|
| Authors: | Boudardara, Fateh1, fateh.boudardara@railenium.eu, Boussif, Abderraouf1, abderraouf.boussif@railenium.eu, Meyer, Pierre-Jean2, pierre-jean.meyer@univ-eiffel.fr, Ghazel, Mohamed2, mohamed.ghazel@univ-eiffel.fr |
| Source: | ACM Transactions on Embedded Computing Systems; Jul2024, Vol. 23 Issue 4, p1-19, 19p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
