Safety Verification for Autonomous Ships Børge Rokseth, Odd Ivar Haugen and Ingrid Bouwer Utne MATEC Web Conf., 273 (2019) 02002 Published online: 22 February 2019 DOI: 10.1051/matecconf/201927302002