Minxuan Liu, Dang Duy Bui, Duong Dinh Tran, Kazuhiro Ogata 0001. Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021 - Companion, Hainan, China, December 6-10, 2021. pages 333-342, IEEE, 2021. [doi]
Abstract is missing.