Efficiency analysis of formally verified adaptive cruise controllers.

Sarah M. Loos David Witmer Peter Steenkiste André Platzer

Published in: ITSC (2013)

Keyphrases

neural network
knowledge base
multiresolution
high efficiency
real time
metadata
multimedia
website
data analysis
control system