Unknown-Unsafe Scenario Generation for Verification and Validation of Automated Vehicles.

Nishant Rajesh Edwin Van Hassel Mohsen Alirezaei

Published in: ITSC (2023)

Keyphrases

real world
real time
semi automatic
model checking
vehicle detection
formal analysis
road traffic
vehicle tracking
generation process
semi automated
fully automated
data driven
face verification
computer assisted
signature verification
public transport
cellular automata