Invited Talk: Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach
30 January 2025
Vladislav Nenchev will give a talk on
Ensuring Safety and Portability in Automated Driving: A Code-Level Verification Approach
at the Robostar Seminar series at the University of York on March 19, 2025.