Aman Khurana

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

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.…