REDriver: Runtime Enforcement for Autonomous Vehicles.

Yang Sun, Christopher M. Poskitt, Xiaodong Zhang, Jun Sun

Browse the full ICSE paper archive.