Towards a Two-Layer Framework for Verifying Autonomous Vehicles.

Rong Gu Raluca Marinescu Cristina Seceleanu Kristina Lundqvist

Published in: NFM (2019)

Keyphrases

autonomous vehicles
computer vision
real time
artificial intelligence
cooperative
probabilistic model
d objects