Eric Feron, Professor, Electrical and Computer Engineering
KAUST
Ariadne safe autonomy unproven algorithms