Moe Nandi Aung, Yati Phyo, Kazuhiro Ogata 0001. Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol (S). In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 159-208, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]
Abstract is missing.