On a Formal Model of Safe and Scalable Self-driving Cars.

Shai Shalev-Shwartz Shaked Shammah Amnon Shashua

Published in: CoRR (2017)

Keyphrases

formal model
security properties
predicate calculus
web scale
security patterns
data sets
genetic algorithm
knowledge representation
lightweight
scalable video coding
formal models