Vahid Yazdanpanah, Enrico H. Gerding, Sebastian Stein 0001. Formal Methods to Verify and Ensure Self-coordination Abilities in the Internet of Vehicles. In Martijn Mes, Eduardo Lalla-Ruiz, Stefan Voß, editors, Computational Logistics - 12th International Conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021, Proceedings. Volume 13004 of Lecture Notes in Computer Science, pages 410-425, Springer, 2021. [doi]
Abstract is missing.