Proving Safety of Traffic Manoeuvres on Country Roads.
Martin HilscherSven LinkerErnst-Rüdiger OlderogPublished in: Theories of Programming and Formal Methods (2013)
Keyphrases
- traffic density
- road network
- traffic flow
- traffic accidents
- vehicle detection
- network traffic
- traffic congestion
- real time
- air traffic
- traffic data
- aerial images
- south african
- internet traffic
- travel time
- transportation networks
- road traffic
- traffic management
- traffic control
- city traffic
- traffic volume
- vehicular networks
- traffic signal
- intelligent transportation systems
- traffic light
- traffic conditions
- telecommunication networks
- shortest path
- traffic engineering
- traffic patterns
- road segments
- satellite images
- intrusion detection
- moving objects