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. View the agenda here and join the webinar on Zoom here.