Safety Validation of Autonomous Vehicles using Assertion-based Oracles. - Christopher Harper; Greg Chance; Abanoub Ghobrial; Saquib Alam; Tony Pipe; Kerstin Eder (CoRR, 2021)