Safety Verification for Autonomous ShipsBørge Rokseth, Odd Ivar Haugen and Ingrid Bouwer UtneMATEC Web Conf., 273 (2019) 02002DOI: https://doi.org/10.1051/matecconf/201927302002
