Formal Modeling and Verification of Serial Communication for Autonomous Vehicles.

Hyeok-june Jung Kyeong-sik Park Cheol-Jin Kim Young-Guk Ha

Published in: BigComp (2018)

Keyphrases

autonomous vehicles
path planning
real time
structured environments
formal methods
route planning
obstacle avoidance
machine learning
information extraction