Verification and Validation of Safety-Critical Transportation Systems with Anthony Corso
Please join postdoctoral researcher Anthony Corso in this talk discussing 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.