基于时间自动机的无信号交叉口车路协同系统建模与验证

刘伟, 肖七瑞, 陈新海, 饶畅, 张宇, 王博思

Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata

Liu Wei, Xiao Qirui, Chen Xinhai, Rao Chang, Zhang Yu, Wang Bosi

系统仿真学报 . 2024, (7): 1682 -1698 . DOI: 10.16182/j.issn1004731x.joss.23-0456