Xiangyu Zhang: Runtime Invariant Checking in Robotic Systems and Deep Learning Models (Keynote). VORTEX@ISSTA 2024: 2