|
|
|
|
|
Ekaterina Stroeva,Aleksey Tonkikh
Pág. 21 - 29
Among recent publications containing an overview and systematization of algorithms for formal verification of neural networks, a classification of algorithms is proposed which is based on three following properties: reachability, optimization...
ver más
|
|
|
|
|