Explore the challenges and opportunities in developing assurance-based learning-enabled cyber-physical systems for autonomous vehicles in this 41-minute conference talk by Gabor Karsai from Vanderbilt University. Delve into the integration of Learning-Enabled Components (LECs) in Cyber-Physical Systems (CPS) and the complexities of ensuring safety and functionality. Examine formal verification techniques, monitoring technology for assurance, and the formalization of safety case argumentation processes. Discover an engineering process and toolchain for systematic assurance of CPS with LECs, focusing on autonomous vehicles. Learn about reachability analysis of neural networks, closed-loop verification, perception robustness verification, and assurance monitoring techniques such as Inductive Conformal Prediction and anomaly detection. Gain insights into the ALC (Assured Learning-enabled Components) project vision, workflow models, and system-level assurance technology for dynamic assurance in autonomous systems. Read more