Safety-assured decision support for ASV navigation via hybrid graph planning and timed automata verification

View at publisher
Authors: Huilin Ge, Meng Li, Guanghui Wen, Yu Lu
Cited by: 1
References: 45

Fields of Study & Subjects

Maritime Navigation and Safety Robotic Path Planning Algorithms Underwater Vehicles and Communication Systems

Publication details

Journal / source
Expert Systems with Applications
Publisher
Elsevier BV
Volume
312
Pages
131367–131367
Publication date
5 February 2026
Language
EN