Transcript Document

APEX
Autonomous Vehicle Plan Execution Framework
Matthew O’Kelly (mLAB)
From representative driving scenarios…
Lane merge
Roundabout
Stop sign
Pedestrians
Understand common agents for more intuitive modeling
Target Vehicle
Other Drivers
Pedestrians
Road network
Traffic control
Traffic Laws
APEX
•
•
•
•
Project Goals and Description
A domain-specific language for specifying an autonomous vehicle driving scenario
An open source framework to capture specifications and safety properties for formal
verification, simulation based testing, and conformance based testing for autonomous
vehicles.
A translation from typical design to formal verification languages.
A library of agents and building blocks for the simulation of autonomous vehicles.