REDriver: Runtime Enforcement for Autonomous Vehicles.
Yang SunChristopher M. PoskittXiaodong ZhangJun SunPublished in: CoRR (2024)
Keyphrases
- autonomous vehicles
- path planning
- structured environments
- obstacle avoidance
- multiagent systems
- robot control
- route planning
- access control
- mobile robot
- autonomous agents
- fuzzy logic
- traffic light
- urban traffic
- reinforcement learning
- machine learning
- control system
- artificial neural networks
- cooperative
- computer vision