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 Jump 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”.