Guest Talk: Alessandro Abate: Formal verification and learning of complex systems

23/05/2018

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