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
Journal of System Simulation . 2024, (7): 1682 -1698 .  DOI: 10.16182/j.issn1004731x.joss.23-0456