ReachFlow: An Online Safety Assurance Framework for Waypoint-Following of Self-driving Cars

Qin Lin,Xin Chen,Aman Khurana,John M. Dolan,Qin Lin,Xin Chen,Aman Khurana,John M. Dolan

Learning-enabled components have been widely deployed in autonomous systems. However, due to the weak interpretability and the prohibitively high complexity of large-scale machine learning models such as neural networks, reliability has been a crucial concern for safety-critical autonomous systems. This work proposes an online monitor called Reach-Flow for fault prevention of waypoint-following ta...