Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles.

Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao

Browse the full TASE paper archive.