Safety

Safety is a crucial consideration for the integration of self-driving cars at scale. Ideally, we would be able to provide some kind of formal guarantee about the performance so that legislators and other stakeholders can trust the technology and move to regulate it.

Part 1 - Introduction to Safety

We start by introducing some basic concepts related to formal verification and safety.

Part 2 - Formal Methods for Safety

We provide a more rigorous treatment of using formal methods for safety.