Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections.
Christopher BischopinkMaike SchwammbergerPublished in: FM Workshops (1) (2019)
Keyphrases
- urban traffic
- traffic signal
- traffic light
- traffic flow
- traffic control
- control system
- traffic congestion
- traffic management
- intelligent surveillance
- intelligent control
- travel time
- long distance
- real time
- multi objective
- multi agent systems
- traffic conditions
- intelligent transportation systems
- control strategy
- cellular automata