Login / Signup
Formalisation and algorithmic approach to the automated driving validation problem.
Jan Erik Stellet
Tino Brade
Alexander Poddey
Stefan Jesenski
Wolfgang Branz
Published in:
IV (2019)
Keyphrases
</>
semi automated
wide range
fully automated
case study
multiresolution
formal analysis
database
real time
neural network
search algorithm
digital libraries
semi automatic
fully automatic
computer assisted
automated analysis