Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures
On a Formal Model of Safe and Scalable Self-driving Cars