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...
share
research
∙
11/08/2021
Safety Validation of Autonomous Vehicles using Assertion-based Oracles
Safety and mission performance validation of autonomous vehicles is a ma...
research
∙
04/07/2021
On Determinism of Game Engines used for Simulation-based Autonomous Vehicle Verification
Game engines are increasingly used as simulation platforms by the autono...
research
∙
12/11/2019
