Accelerated Labeling of Discrete Abstractions for Autonomous Driving Subject to LTL Specifications.

Brian Paden Peng Liu Schuyler Cullen

Published in: CoRR (2018)

Keyphrases

autonomous driving
bounded model checking
grand challenge
high level
transition systems
stereo vision
model checking
temporal logic
vision algorithms
machine learning
urban traffic
linear temporal logic
image segmentation
video surveillance
mobile robot
high quality
three dimensional