2 papers
cs.RO2025
Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin
Emir Cem Gezer, Mael Korentin Ivan Moreau, Anders Sandneseng Høgden +3
The algorithms developed for Maritime Autonomous Surface Ships (MASS) are often challenging to test on actual vessels due to high operational costs and safety considerations. Simul…
cs.LO2024
Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
Jon Arne Glomsrud, Stephanie Kemna, Chanjei Vasanthan +6
With the introduction of autonomous technology into our society, e.g. autonomous shipping, it is important to assess and assure the safety of autonomous systems in a real-world con…