Code-Level Safety Verification for Automated Driving: A Case Study.

Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu

Browse the full FM paper archive.