Feb 7, 12:00 - 13:00, Ariadne: Building safe autonomy with unproven algorithms (KAUST), Eric Feron, Professor, Electrical and Computer Engineering