Safety-assured decision support for ASV navigation via hybrid graph planning and timed automata verification
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