Chang, S.-M.; Chiu, P.-C.; Chou, P.-L. Navigation safety and risk management verification mechanism for Maritime Autonomous Surface Ship. JCAS 2025, 5, 56-66.