Formal Certification Methods for Automated Vehicle Safety Assessment.

Tong Zhao Ekim Yurtsever Joel A. Paulson Giorgio Rizzoni

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

Keyphrases

real time
preprocessing
significant improvement
computational cost
databases
benchmark datasets
bayesian networks
search algorithm
data mining techniques
empirical studies