Verification and Validation of Safety-Critical Transportation Systems

Anthony Corso, postdoctoral researcher in the Stanford Intelligent Systems Lab presented two promising approaches for safety validation: formal verification of neural networks and black-box adaptive sampling in the context of aviation and driving applications. Together these techniques may provide a path forward to ensuring the safe deployment of autonomous systems.