Synthesizing and verifying controllers for multi-lane traffic maneuvers.
Gregor von BochmannMartin HilscherSven LinkerErnst-Rüdiger OlderogPublished in: Formal Aspects Comput. (2017)
Keyphrases
- traffic flow
- control strategy
- control system
- lane change
- control law
- traffic signal
- traffic data
- travel time
- network traffic
- model checking
- traffic management
- traffic patterns
- genetic algorithm
- control method
- real time
- intrusion detection
- traffic congestion
- controller design
- traffic monitoring
- reinforcement learning
- urban traffic
- road traffic