TY - RPRT TI - On a Formal Model of Safe and Scalable Self-driving Cars AU - Shai Shalev-Shwartz AU - Shaked Shammah AU - Amnon Shashua PY - 2018 UR - https://arxiv.org/abs/1708.06374 ID - 1708.06374 ER -