ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars. - Qin Lin 001; Xin Chen 002; Aman Khurana; John M. Dolan (IROS, 2020)