Development and testing of a risk-based control system for autonomous ships. - Thomas Johansen; Simon Blindheim; Tobias Rye Torben; Ingrid Bouwer Utne; Tor Arne Johansen; Asgeir J. Sørensen (Reliab. Eng. Syst. Saf., 2023)

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)