A merging protocol for self-driving vehicles.
Shunsuke AokiRagunathan RajkumarPublished in: ICCPS (2017)
Keyphrases
- driving simulator
- traffic accidents
- dangerous situations
- driver assistance systems
- car navigation
- real time
- vehicle detection
- coloured petri nets
- vehicle tracking
- traffic flow
- cryptographic protocols
- intelligent vehicles
- lightweight
- intelligent transport systems
- network protocols
- moving vehicles
- tcp ip
- fuel consumption
- autonomous vehicles
- road traffic
- merging algorithm
- communication protocols
- communication protocol
- authentication protocol
- formal analysis
- travel time