Towards Verified Self-Driving Infrastructure.

Bingzhe Liu Ali Kheradmand Matthew Caesar Philip Brighten Godfrey

Published in: HotNets (2020)

Keyphrases

artificial intelligence
neural network
data collection
databases
information exchange
loosely coupled
support environment
driving simulator
information systems
computing environments
semantic technologies
autonomous driving