REDriver: Runtime Enforcement for Autonomous Vehicles.
Yang SunChristopher M. PoskittXiaodong ZhangJun SunPublished in: ICSE (2024)
Keyphrases
- autonomous vehicles
- path planning
- structured environments
- obstacle avoidance
- route planning
- multiagent systems
- access control
- autonomous agents
- mobile robot
- urban traffic
- real time
- computer vision
- robot control
- long range
- traffic light
- machine learning
- urban environments
- stereo vision
- artificial intelligence
- simulated annealing
- expert systems