Formal Methods to Verify and Ensure Self-Coordination Abilities in the Internet of Vehicles

Yazdanpanah, Vahid, Gerding, Enrico and Stein, Sebastian (2021) Formal Methods to Verify and Ensure Self-Coordination Abilities in the Internet of Vehicles. In Computational Logistics: 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27–29, 2021, Proceedings. Springer.. (In Press)

Record type: Conference or Workshop Item (Paper)

Abstract

The emerging Internet of Vehicles (IoV) is a distributed multiagent network that utilises the potentials for collaboration of vehicles with the aim to improve the reliability and safety of transportation and logistic systems. IoV systems require operational methods to reason about the capacity of the involved (human and artificial) agents to form strategically capable coalitions as a means to ensure safety. In this work, we (1) develop a logic-based machinery to represent and reason about strategic abilities in IoV systems, (2) provide a process to verify whether a given IoV system is capable to safely self-coordinate, and (3) introduce a mechanism to ensure such an ability in a temporal, strategic, and normative setting.

Text

ICCL2021_Formal Methods to Verify and Ensure Self-Coordination Abilities in the IoV - Accepted Manuscript

Available under License University of Southampton Accepted Manuscript Licence.

Download (632kB)