ABZ'25

ABZ 2025 (Düsseldorf, Germany)

11th International Conference on Rigorous State-Based Methods

Safety Controller for Autonomous Driving (ABZ 2025)

This document presents the case study for ABZ 2025 conference. The case study is about a safety controller for autonomous driving on a highway. The goal is to keep a safe distance to the preceding car.