20 May 2021

Verifiability Talk 15: In Search of Automated Driving Systems Safety through Formal Requirements (Georgios Fainekos, Arizona State University)

16:00 – 17:00

Title: In Search of Automated Driving Systems Safety through Formal Requirements

Speaker: Georgios Fainekos, (Arizona State University)