Research Article
Formal Verification of Multi-agent Plans for Vehicle Platooning
19 downloads
@INPROCEEDINGS{10.1007/978-3-030-67101-3_1, author={Thao Nguyen Van and Kurt Geihs}, title={Formal Verification of Multi-agent Plans for Vehicle Platooning}, proceedings={Context-Aware Systems and Applications, and Nature of Computation and Communication. 9th EAI International Conference, ICCASA 2020, and 6th EAI International Conference, ICTCC 2020, Thai Nguyen, Vietnam, November 26--27, 2020, Proceedings}, proceedings_a={ICCASA \& ICTCC}, year={2021}, month={1}, keywords={Verification ALICA Model checking Multi-agent plans}, doi={10.1007/978-3-030-67101-3_1} }- Thao Nguyen Van
Kurt Geihs
Year: 2021
Formal Verification of Multi-agent Plans for Vehicle Platooning
ICCASA & ICTCC
Springer
DOI: 10.1007/978-3-030-67101-3_1
Abstract
The collaboration and coordination of autonomous vehicles into convoys or platoons have been used on our highways. However, before deploying such vehicles on the real road, their autonomous behaviors must be certified to act safely. The vehicle platooning can be considered as a multi-agent system where each agent can make its own autonomous decisions. In order to ensure that these decision-making agents in the platoon never violate safety properties, we use the Uppaal model checker to verify them. Furthermore, to facilitate the checking process and create a consistent translation process, we have developed an automated translation program that can map our multi-agent plans to the Uppaal model checker format.
Copyright © 2020–2025 ICST
