C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification Methodology for Fully Autonomous Heavy Vehicles.
Joakim Gustavsson
Published in:
ICST (2016)
Keyphrases
</>
fully autonomous
real time
computer vision
data sets
real world
model checking