Sam Coogan, Assistant Professor, Georgia Institute of Technology
KAUST
RobotoKAUST safe autonomy reachability invariance
