Yu Lu, Pan Sun, Shijie Shi, Meng Li, Huilin Ge. Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles. In De-Shuang Huang, Xiankun Zhang, Chuanlei Zhang, editors, Advanced Intelligent Computing Technology and Applications - 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V. Volume 14879 of Lecture Notes in Computer Science, pages 15-26, Springer, 2024. [doi]
Abstract is missing.