Logical correctness of Autonomous Driving software systems

Potential supervisors: 
Research groups/keywords: 
Description: 

 

Please see attached file for details.

Date range: 
October, 2018 to October, 2023