Sign in
Determining the Validity of Simulation Models for the Verification of Automated Driving Systems.
Birte Neurohr
Tjark Koopmann
Eike Möhlmann
Martin Fränzle
Published in:
IEEE Access (2023)
Keyphrases
</>
simulation models
simulation model
simulation tools
optical flow
management system
distributed systems
formal methods
agent based simulation
model checking
automated verification
database
genetic algorithm
motion estimation
building blocks
semi automated
asynchronous circuits