Evaluating Two Semantics for Falsification using an Autonomous Driving Example.

Zahra Ramezani Nicholas Smallbone Martin Fabian Knut Åkesson

Published in: INDIN (2019)

Keyphrases

autonomous driving
grand challenge
stereo vision
vision algorithms
preprocessing
dynamic programming
mobile robot
low resolution
wireless networks
traffic light
urban traffic