Gastvortrag: Alessandro Abate: Formal verification and learning of complex systems

23.05.2018

Am 23.05 wird Gastwissenschaftler Alessandro Abate seinen Vortrag über "Formal verification and learning of complex systems" halten.