Testing Intelligence: Accelerating the Verification and Validation of Intelligent Vehicles.

Fei-Yue Wang Jia Hu Jintao Lai

Published in: IEEE Trans. Intell. Veh. (2023)

Keyphrases

intelligent vehicles
formal verification
test generation
traffic signs
symbolic execution
vehicle detection
test cases
computer controlled
lane detection
three dimensional
driver assistance systems
model checking
motion detection
multiple cameras
real time
image data
feature extraction
computer vision