Thao Nguyen Van, Kurt Geihs. Formal Verification of Multi-agent Plans for Vehicle Platooning. In Phan Cong Vinh, Abdur Rakib, editors, 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. Volume 343 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pages 3-15, Springer, 2020. [doi]
Abstract is missing.