文献检索/Expert Systems with ApplicationsEM-WoSExpert Systems with Applications2026-02-05第 312 卷,131367-131367高影响力 · 前 10%Safety-assured decision support for ASV navigation via hybrid graph planning and timed automata verificationHuilin GeJiangsu University of Science and TechnologyMeng LiShenzhen Technology UniversityGuanghui WenSoutheast UniversityYu LuUniversity of Saskatchewan去出版社页面 引用论文图谱收藏 被引提醒分享打印登录后看摘要和中文要点英文摘要、AI 生成的中文摘要和三条要点、参考文献和引证文献列表、论文图谱,注册免费。登录 / 注册关键词unmanned surface vehiclespath planningUPPAALsafety assurancecollision avoidancedeadlock freedomvisibility graphVoronoi tessellationmaritime navigation参考文献45引证文献1相似文献引文网络关联作者相关机构登录后可以看完整列表。去登录论文图谱本篇和它的参考文献、引证文献、相似文献登录后可以看这篇的论文图谱:谁被它引用、谁引用了它、还有哪些相似的研究。登录 / 注册