Tatsuya Igarashi, Masaki Nakamura 0001, Kazutoshi Sakakibara. Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control Protocol using the OTS/CafeOBJ Method. In Rong Peng, Carlos Eduardo Pantoja, Pankaj Kamthan, editors, The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022. pages 574-579, KSI Research Inc., 2022. [doi]
Abstract is missing.