Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections.
Heejin AhnAlessandro ColomboPublished in: IEEE Trans. Autom. Control. (2020)
Keyphrases
- traffic signal
- cooperative
- multi agent systems
- traffic control
- traffic light
- urban traffic
- traffic accidents
- traffic flow
- control system
- traffic congestion
- autonomous vehicles
- traffic management
- traffic density
- road traffic
- control policy
- vehicle detection
- traffic conditions
- road safety
- moving vehicles
- traffic safety
- high level
- traffic data
- travel time
- control method
- multi agent
- weather conditions
- cellular networks
- intelligent vehicles
- control strategy
- fuel consumption
- bounded model checking
- road vehicles
- real time
- driving simulator
- city traffic