|
|
|
|
|
Dario Guidotti, Laura Pandolfo and Luca Pulina
Interest in machine learning and neural networks has increased significantly in recent years. However, their applications are limited in safety-critical domains due to the lack of formal guarantees on their reliability and behavior. This paper shows rece...
ver más
|
|
|
|
|