REDriver: Runtime Enforcement for Autonomous Vehicles.

Yang Sun 0008, Christopher M. Poskitt, Xiaodong Zhang 0014, Jun Sun 0001

07 Nov 2025ICSE 2024EveryoneCC BY-SA 4.0