TY  - RPRT
TI  - Safety Validation of Autonomous Vehicles using Assertion Checking
AU  - Christopher Harper
AU  - Greg Chance
AU  - Abanoub Ghobrial
AU  - Saquib Alam
AU  - Tony Pipe
AU  - Kerstin Eder
PY  - 2022
UR  - https://arxiv.org/abs/2111.04611
ID  - 2111.04611
ER  -