Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety



Wang, Jinyong, Huang, Zhiqiu, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Zhu, Yi and Wang, Fei
(2020) Multiclock Constraint System Modelling and Verification for Ensuring Cooperative Autonomous Driving Safety. JOURNAL OF ADVANCED TRANSPORTATION, 2020.

Access the full-text of this item by clicking on the Open Access link.
Item Type: Article
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 16 Aug 2021 13:54
Last Modified: 23 Aug 2022 07:18
DOI: 10.1155/2020/8830752
Open Access URL: https://www.hindawi.com/journals/jat/2020/8830752/
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3133694