Reliability Verification Procedure of Secured V2X Communication for Autonomous Cooperation Driving.
Han Gyun JungKi-Taeg LimDae Kyo ShinSang Hun YoonSeong Keun JinSoo Hyun JangJae Min KwakPublished in: ICTC (2018)
Keyphrases
- cooperative
- information exchange
- information sharing
- communication overhead
- iterative procedure
- spatially distributed
- model checking
- formal verification
- resource constrained
- search procedure
- communication patterns
- sharing information
- communication protocols
- dynamic environments
- multi agent
- communicating agents
- face verification
- verification method
- communication protocol
- instant messaging
- autonomous navigation
- social networks
- communication technologies
- communication channels
- communication systems
- multi agent systems
- computer vision