Safety Controller for Autonomous Driving, A Case Study for ABZ 2025

A full description here