Guest Talk: Alessandro Abate

23/05/2018

On the 23.05, guest researcher Alessandro Abate will hold his talk on „Formal verfication and learning of complex systems”.