Øyvind Rasmussen Smogeli

Professor
ved Institutt for marin teknikk ved Norges teknisk-naturvitenskapelige universitet

Resultater Resultater

New Design Solutions and Procedures for Ensuring Meaningful Human Control and Interaction with Autonomy: Automated Ferries in Profile.

Thieme, Christoph Alexander; Ramos, Marilia Abilio; Holte, Even Ambros; Johnsen, Stig Ole; Myklebust, Thor; Smogeli, Øyvind Rasmussen. 2023, Palgrave Macmillan. OCEAN, SINTEF, UoCLA(, DIVNORSKVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Towards contract-based verification for autonomous vessels.

Torben, Tobias Valentin Rye; Smogeli, Øyvind Rasmussen; Glomsrud, Jon Arne; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. 2023, Ocean Engineering. ZEA, NTNU, DNVVitenskapelig artikkel

Graphical User Interface Design for a Remote Operator to Monitor and Control Multiple Autonomous Ferries.

Park, Jooyoung. 2022, NTNUMastergradsoppgave

On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships.

Torben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. 2022, Proceedings of the World Maritime Technology Conference. NTNUVitenskapelig artikkel

On Formal Methods for Design and Verification of Maritime Autonomous Surface Ships.

Torben, Tobias; Smogeli, Øyvind; Utne, Ingrid Bouwer; Sørensen, Asgeir Johan. 2022, World Maritime Technology Conference. NTNUVitenskapelig foredrag

1 - 5 av 50 | Neste | Siste »