Safety Verification for Autonomous Ships
, and
MATEC Web Conf., 273 (2019) 02002
Published online: 22 February 2019
DOI: 10.1051/matecconf/201927302002

