A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems
Published in Journal of Computer Science and Technology
To cater for the scenario of coordinated transportation of multiple trucks on the highway, a platoon system for autonomous driving has been extensively explored in the industry. Before such a platoon is deployed, it is necessary to ensure the safety of its driving behavior, whereby each vehicle’s behavior is commanded by the decision-making functio...
