(IN BRIEF) At Gastech 2023, DNV has granted a design verification report (DVR) for the AI-based autonomous navigation system "HiNAS…