A configurable synchronous intersection protocol for self-driving vehicles.
Shunsuke AokiRagunathan RajkumarPublished in: RTCSA (2017)
Keyphrases
- driving simulator
- traffic light
- dangerous situations
- traffic accidents
- lightweight
- car navigation
- driver assistance systems
- traffic conditions
- vehicle detection
- real time
- formal analysis
- multi party
- fuel consumption
- traffic flow
- intelligent vehicles
- traffic signal
- road segments
- network protocols
- cryptographic protocols
- application layer
- intelligent transport systems
- tcp ip
- traffic safety
- road traffic
- security analysis
- travel time
- web services