Computer-aided design for safe autonomous vehicles

By Matthew O'Kelly, Houssam Abbas, Rahul Mangharam. 2017

32 citations recorded by the source corpus.

Subfields: Automotive Engineering, Computational Theory and Mathematics, Control and Systems Engineering

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Percy Liang
2. Aditi Raghunathan
3. Jacob Steinhardt

In Control and Systems Engineering

1. Percy Liang
2. Aditi Raghunathan
3. Jacob Steinhardt

Citations in the corpus

• Certified Defenses against Adversarial Examples (2018, background): “This includes verifying safety properties of air traffic control systems (Katz et al., 2017a;b) and self-driving cars (O’Kelly et al., 2016; 2017), as well as security applications such as robustness to training time attacks (Steinhardt et al., 2017).”
• Survey on Scenario-Based Safety Assessment of Automated Vehicles (2020, background): “A combination of simulation-based optimization (SectionVI-D) prior to a reachability analysis is also possible [162], [163].”