Automated driving systems are safety-critical cyber-physical systems who...
The verification and validation of automated driving systems at SAE leve...
Knowledge representation and reasoning has a long history of examining h...
The large-scale deployment of automated vehicles on public roads has the...
Verification and validation of automated driving functions impose large
...
The homologation of automated vehicles, being safety-critical complex
sy...