research
∙
12/09/2018
Vision Zero: on a Provable Method for Eliminating Roadway Accidents without Compromising Traffic Throughput
We propose an economical, viable, approach to eliminate almost all car a...
share
research
∙
08/21/2017
On a Formal Model of Safe and Scalable Self-driving Cars
In recent years, car makers and tech companies have been racing towards ...
research
∙
03/23/2017
Failures of Gradient-Based Deep Learning
In recent years, Deep Learning has become the go-to solution for a broad...
research
∙
10/11/2016
