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

Key Points

• Safety assurance was achieved through timed automata verification in navigation systems, enhancing overall reliability.
• The decision support system employed hybrid graph planning to optimize navigation paths for autonomous surface vehicles.
• This analysis utilized verification techniques to ensure safe decision-making processes in real-time navigation contexts.
• Incorporating these methodologies may enable greater efficacy in real-world applications, although practical testing is required.