Necmiye Ozay, Associate Professor, University of Michigan
KAUST
RobotoKAUST safe autonomy invariance verification
