[Talks@IDSIA] Marco Galleri - Safe AI with Control Theory - recording of the talk