Efficient Computation of Collision Probabilities for Safe Motion Planning
On a Formal Model of Safe and Scalable Self-driving Cars