Semi-Automated Synthesis of Driving Rules

Publication
VehicleSec (2023)