Gastvortrag: Alessandro Abate

23.05.2018

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