2023

• Torben, Tobias Valentin Rye; Smogeli, Øyvind Rasmussen; Glomsrud, Jon Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. (2023) Towards contract-based verification for autonomous vessels. Ocean Engineering
  Academic article
• Johansen, Thomas; Blindheim, Simon André Johnsen; Torben, Tobias Valentin Rye; Utne, Ingrid Bouwer; Johansen, Tor Arne; Sørensen, Asgeir Johan. (2023) Development and testing of a risk-based control system for autonomous ships. Reliability Engineering & System Safety
  Academic article

2022

• Torben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. (2022) On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships. Proceedings of the World Maritime Technology Conference
  Academic article
• Brekke, Edmund Førland; Eide, Egil; Eriksen, Bjørn-Olav Holtung; Wilthil, Erik Falmår; Breivik, Morten; Skjellaug, Even. (2022) milliAmpere: An Autonomous Ferry Prototype. Journal of Physics: Conference Series (JPCS)
  Academic article
• Torben, Tobias; Glomsrud, Jon Arne; Pedersen, Tom Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. (2022) Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability
  Academic article

2020

• Torben, Tobias; Brodtkorb, Astrid Helene; Sørensen, Asgeir Johan. (2020) Control Allocation for Double-ended Ferries with Full-scale Experimental Results. International Journal of Control, Automation and Systems
  Academic article

2019

• Perez, Tristan; Morozov, Andrey; Rokseth, Børge; Glomsrud, Jon Arne; Luckuck, Matthew; Myklebust, Thor. (2019) System Verification, Processes and Testing. Norges teknisk-naturvitenskapelige universitet
  Academic chapter/article/Conference paper
• Torben, Tobias; Brodtkorb, Astrid H.; Sørensen, Asgeir Johan. (2019) Control allocation for double-ended ferries with full-scale experimental results. IFAC-PapersOnLine
  Academic article
• Torben, Tobias. (2019) Control allocation and observer design for autonomous ferries. NTNU
  Masters thesis