Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles. - Jon Arne Glomsrud; Stephanie Kemna; Chanjei Vasanthan; Luman Zhao; Dag McGeorge; Tom Arne Pedersen; Tobias Rye Torben; Børge Rokseth; Dong Trong Nguyen (CoRR, 2024)

Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin. - Emir Cem Gezer; Mael Korentin Ivan Moreau; Anders Sandneseng Høgden; Dong Trong Nguyen; Roger Skjetne; Asgeir J. Sørensen (CoRR, 2025)