You are here

Research seminaries

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