External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles

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]

Authors

Yu Lu

This author has not been identified. Look up 'Yu Lu' in Google

Pan Sun

This author has not been identified. Look up 'Pan Sun' in Google

Shijie Shi

This author has not been identified. Look up 'Shijie Shi' in Google

Meng Li

This author has not been identified. Look up 'Meng Li' in Google

Huilin Ge

This author has not been identified. Look up 'Huilin Ge' in Google
runs on