Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles.

Wenjing Xul Yongwang Zhao Dianfu Ma YuXin Zhang Qian Xiao

Published in: TASE (2020)

Keyphrases

autonomous vehicles
obstacle avoidance
path planning
structured environments
multiagent systems
mobile robot
neural network
route planning
urban traffic
autonomous agents
robot control
fuzzy systems
traffic light