Seminari

2 Agosto 2017
The recent success of deep neural networks (DNN) in unsupervised and supervised learning, in...
27 luglio 2017
Model checking offers the possibility to automatically verify the correctness of complex systems or...