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”.
Skip to Content Skip to Main Navigation Skip to Search
On the 23.05, guest researcher Alessandro Abate will hold his talk on „Formal verfication and learning of complex systems”.