APEX: Autonomous Vehicle Plan Verification and Execution

By Matthew O'Kelly, Houssam Abbas, Sicun Gao, Shinpei Kato, Shin'ichi Shiraishi, Rahul Mangharam. 2016

44 citations recorded by the source corpus.

Subfields: Automotive Engineering, Control and Systems Engineering, Hardware and Architecture

How researchers see this paper

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

In Automotive Engineering

1. Matthew O'Kelly
2. Rahul Mangharam
3. Houssam Abbas

In Control and Systems Engineering

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

In Hardware and Architecture

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

Citations in the corpus

• Certified Defenses against Adversarial Examples (2018, background): “, 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.”
• Survey on Scenario-Based Safety Assessment of Automated Vehicles (2020, methodology): “[161] present their verification tool APEX that internally uses the SMT-solver dReach.”
• Computer-aided design for safe autonomous vehicles (2017, methodology): “AVCAD implements a TP that was tested on a real vehicle [16].”