|
|
|
|
|
Dmitry Namiot,Eugene Ilyushin,Ivan Chizhov
Pág. 30 - 34
The paper deals with the issues of formal verification of machine learning systems. With the growth of the introduction of systems based on machine learning in the so-called critical systems (systems with a very high cost of erroneous decisions and actio...
ver más
|
|
|
|
|