Exploiting Learning and Scenario-Based Specification Languages for the Verification and Validation of Highly Automated Driving. - Werner Damm; Roland Galbas (SEFAIAS@ICSE, 2018)

Criticality Analysis for the Verification and Validation of Automated Vehicles. - Christian Neurohr; Lukas Westhofen 001; Martin Butz; Martin Bollmann; Ulrich Eberle; Roland Galbas (IEEE Access, 2021)