Christopher Harper | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Kerstin Eder
34 publications
Greg Chance
8 publications
Maike Schwammberger
7 publications
Abanoub Ghobrial
6 publications
Tony Pipe
4 publications
Gleifer Vaz Alves
3 publications
Saquib Alam
1 publication

research

∙ 08/10/2022

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V V Process

Automated Vehicles (AVs) are rapidly maturing in the transportation doma...

0 Maike Schwammberger, et al. ∙

research

∙ 11/08/2021

Safety Validation of Autonomous Vehicles using Assertion-based Oracles

Safety and mission performance validation of autonomous vehicles is a ma...

0 Christopher Harper, et al. ∙

Success!

An error occurred